src/Pure/Isar/class.ML
changeset 57978 8f4a332500e4
parent 57192 180e955711cf
child 58668 1891f17c6124