doc-src/TutorialI/Advanced/Partial.thy
changeset 34976 06df18c9a091
parent 25258 22d16596c306
child 35416 d8d7d1b785af