doc-src/IsarRef/Thy/document/Proof.tex
changeset 43435 ae6b0c3e58a8
parent 42813 6c841fa92fa2
child 43633 e8ee3641754e