doc-src/TutorialI/Sets/Functions.thy
changeset 12326 b4e706774e96
parent 10983 59961d32b1ae
child 16417 9bc16273c2d4