src/Pure/sorts.ML
2000-07-07 wenzelm 2000-07-07 inter_sort: keep normal!
1999-09-29 wenzelm 1999-09-29 mg_domain: exception DOMAIN; proper witness_sorts; removed nonempty_sort;
1999-07-23 wenzelm 1999-07-23 replace assoc lists by Symtab.table;
1997-10-06 wenzelm 1997-10-06 now uses Syntax.simple_str_of_sort;
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).