src/Pure/Isar/skip_proof.ML
changeset 45488 6d71d9e52369
parent 42409 3e1e80df6a42
child 46045 332cb37cfcee