src/Pure/Isar/proof_data.ML
changeset 7604 55566b9ec7d7
parent 6788 6eaf6856ee4a
child 8143 b0e44ab73631