src/Pure/Isar/proof.ML
changeset 40803 3f66ea311d44
parent 40642 99c6ce92669b
child 40960 9e54eb514a46