doc-src/IsarImplementation/Thy/proof.thy
changeset 20217 25b068a99d2b
parent 20171 424739228123
child 20218 be3bfb0699ba