doc-src/IsarRef/Thy/Proof.thy
changeset 43661 39fdbd814c7f
parent 43633 e8ee3641754e
child 44164 238c5ea1e2ce