doc-src/TutorialI/Sets/Examples.thy
changeset 23473 997bca36d4fe
parent 21262 a2bd14226f9a
child 32833 f3716d1a2e48