doc-src/IsarRef/Thy/document/Proof.tex
changeset 38810 361119ea62ee
parent 37364 dfca6c4cd1e8
child 40255 9ffbc25e1606
equal deleted inserted replaced
38809:7dc73a208722 38810:361119ea62ee