src/Pure/sorts.ML
2005-12-17 wenzelm 2005-12-17 sort_distinct;
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-29 wenzelm 2005-08-29 use AList operations;
2005-08-28 haftmann 2005-08-28 added superclasses, class_le_path
2005-07-19 wenzelm 2005-07-19 tuned norm_sort, mg_domain;
2005-06-29 wenzelm 2005-06-29 removed obsolete eq_sort, mem_sort, subset_sort, eq_set_sort, ins_sort, union_sort, rems_sort; added efficient operations on ordered lists: eq_set, union, subtract, insert_sort/typ(s)/term(s);
2005-06-15 haftmann 2005-06-15 (undone experimental changes)
2005-06-15 haftmann 2005-06-15 subclassing done
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 wenzelm 2004-06-21 added certify_class/sort;
2004-06-05 wenzelm 2004-06-05 tuned comments;
2004-05-29 wenzelm 2004-05-29 improved output; refer to Pretty.pp;
2004-05-21 wenzelm 2004-05-21 incorporate sort ops from term.ML; use Graph.T; misc cleanup;
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).