doc-src/TutorialI/Overview/LNCS/Sets.thy
changeset 43282 5d294220ca43
parent 32960 69916a850301