doc-src/TutorialI/Advanced/Partial.thy
changeset 28150 cbc2cbfc840c
parent 25258 22d16596c306
child 35416 d8d7d1b785af