src/Pure/Isar/isar_thy.ML
changeset 15666 5c5925dc4921
parent 15624 484178635bd8
child 15696 1da4ce092c0b