doc-src/TutorialI/Sets/Examples.thy
changeset 29972 aee7610106fd
parent 21262 a2bd14226f9a
child 32833 f3716d1a2e48
equal deleted inserted replaced
29971:68331b62c873 29972:aee7610106fd