doc-src/TutorialI/Advanced/Partial.thy
changeset 14395 cc96cc06abf9
parent 12815 1f073030b97a
child 15904 a6fb4ddc05c7