src/Pure/sorts.ML
1997-08-06 wenzelm 1997-08-06 added str_of_classrel;
1997-04-18 wenzelm 1997-04-18 removed least_sort; added of_sort;
1997-04-16 wenzelm 1997-04-16 Type classes and sorts (isolated from type.ML).