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