src/Pure/Isar/class_declaration.ML
changeset 40803 3f66ea311d44
parent 40188 eddda8e38360
child 41585 45d7da4e4ccf