src/Pure/Isar/class.ML
changeset 42381 309ec68442c6
parent 42375 774df7c59508
child 42383 0ae4ad40d7b5