doc-src/IsarImplementation/Thy/Proof.thy
changeset 47964 b74655182ed6
parent 46265 b6ab3cdea163