src/Pure/Isar/skip_proof.ML
changeset 23086 12320f6e2523
parent 20289 ba7a7c56bed5
child 24502 8d5326f0098b