Achim D. Brucker c8467c9acd Imported changes from AFP devel as of 2020-12-02.		2020-12-18 23:51:49 +00:00
..
BaseClass.thy	Updated files to match development version of AFP.	2020-05-23 11:53:43 +01:00
CharacterDataClass.thy	Imported changes from AFP devel as of 2020-12-02.	2020-12-18 23:51:49 +00:00
DocumentClass.thy	Imported changes from AFP devel as of 2020-12-02.	2020-12-18 23:51:49 +00:00
NodeClass.thy	Imported changes from AFP devel as of 2020-12-02.	2020-12-18 23:51:49 +00:00
ObjectClass.thy	Imported changes from AFP devel as of 2020-12-02.	2020-12-18 23:51:49 +00:00