doc-src/TutorialI/Overview/LNCS/Sets.thy
changeset 14382 9fb68cd74719
parent 14138 ca5029d391d1
child 21324 a5089fc012b5