src/Pure/Isar/attrib.ML
changeset 40803 3f66ea311d44
parent 40291 012ed4426fda
child 40878 7695e4de4d86