src/Pure/Isar/isar_thy.ML
changeset 7613 fe818734c387
parent 7590 76c9e71d491a
child 7614 88392b7bc549