doc-src/IsarRef/Thy/Proof.thy
changeset 46631 2c5c003cee35
parent 46281 f21c8ecbf8d5
child 47484 e94cc23d434a