src/Pure/Isar/attrib.ML
changeset 7604 55566b9ec7d7
parent 7598 af320257c902
child 7611 5b5aba10c8f6