doc-src/IsarImplementation/Thy/proof.thy
changeset 19774 5fe7731d0836
parent 18537 2681f9e34390
child 20026 3469df62fe21