src/Pure/Isar/class.ML
changeset 42290 b1f544c84040
parent 41270 dea60d052923
child 42359 6ca5407863ed