src/Doc/Isar_Ref/Proof.thy
changeset 62026 ea3b1b0413b4
parent 61658 5dce70aecbfc
child 62268 3d86222b4a94