doc-src/TutorialI/Advanced/Partial.thy
changeset 14879 8989eedf72a1
parent 12815 1f073030b97a
child 15904 a6fb4ddc05c7
equal deleted inserted replaced
14878:b884a7ba7238 14879:8989eedf72a1