doc-src/TutorialI/Overview/LNCS/Sets.thy
changeset 17504 cc10c4b64b8e
parent 14138 ca5029d391d1
child 21324 a5089fc012b5