doc-src/TutorialI/Advanced/Partial.thy
changeset 42165 a28e87ed996f
parent 35416 d8d7d1b785af