src/Pure/Isar/attrib.ML
changeset 18595 a52907967bae
parent 18418 bf448d999b7e
child 18636 cb068cfdcac8