src/Doc/Classes/Setup.thy
changeset 78659 b5f3d1051b13
parent 71546 4dd5dadfc87d
child 80914 d97fdabd9e2b