src/Pure/Isar/class_declaration.ML
changeset 57978 8f4a332500e4
parent 57182 79d43c510b84
child 58293 1d0343818ec0