doc-src/IsarRef/Thy/Proof.thy
changeset 28831 23f4928bb7e3
parent 28761 9ec4482c9201
child 28838 d5db6dfcb34a