src/Pure/Isar/skip_proof.ML
changeset 25456 6f79698f294d
parent 24502 8d5326f0098b
child 26435 bdce320cd426
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d