src/Pure/Isar/isar_thy.ML
changeset 7632 25a0d2ba3a87
parent 7614 88392b7bc549
child 7633 838077e40a46