Achim D. Brucker 63fc6cd87c Initial import from AFP.		2020-12-19 15:19:51 +00:00
..
ShadowRootClass.thy	Initial import from AFP.	2020-12-19 15:19:51 +00:00