doc-src/TutorialI/Advanced/Partial.thy
changeset 22196 680b04dbd51c
parent 19248 25bb0a883ac5
child 25258 22d16596c306
equal deleted inserted replaced
22195:97554e2ce434 22196:680b04dbd51c