src/Pure/Isar/skip_proof.ML
changeset 45107 76fef3e57004
parent 42409 3e1e80df6a42
child 46045 332cb37cfcee