src/Pure/Isar/class.ML
changeset 45488 6d71d9e52369
parent 45429 fd58cbf8cae3
child 46917 2f6c1952188a