src/Pure/Isar/class.ML
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-17 haftmann 2007-08-17 explicit constants for overloaded definitions
2007-08-14 wenzelm 2007-08-14 Syntax.global_read_sort;
2007-08-10 haftmann 2007-08-10 ClassPackage renamed to Class