doc-src/IsarRef/Thy/Proof.thy
changeset 48710 5b51ccdc8623
parent 47498 e3fc50c7da13