doc-src/TutorialI/Sets/Functions.thy
changeset 12649 6e17f2ae9e16
parent 10983 59961d32b1ae
child 16417 9bc16273c2d4
equal deleted inserted replaced
12648:16d4b8c09086 12649:6e17f2ae9e16