doc-src/IsarImplementation/Thy/Proof.thy
changeset 38007 f0a4aa17f23f
parent 34932 28e231e4144b
child 39821 bf164c153d10