doc-src/IsarRef/Thy/Proof.thy
changeset 27809 a1e409db516b
parent 27141 9bfcdb1905e1
child 28754 6f2e67a3dfaa