src/Pure/skip_proof.ML
changeset 59564 fdc03c8daacc
parent 59498 50b60f501b05
child 59621 291934bac95e