src/Pure/sorts.ML
2009-02-23 haftmann 2009-02-23 stripped classrels_of, instances_of
2009-02-22 haftmann 2009-02-22 handle NONE case in arity function properly
2009-02-22 haftmann 2009-02-22 subalgebra: drop arities if desired
2009-02-18 haftmann 2009-02-18 sort instances wrt. to class hierarchy
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;
2008-12-01 haftmann 2008-12-01 more means for algebra projection
2008-10-22 haftmann 2008-10-22 added meet_sort_typ
2008-10-16 wenzelm 2008-10-16 added make, minimal_sorts;
2008-09-26 wenzelm 2008-09-26 added subset operation;
2008-09-25 wenzelm 2008-09-25 explicit type OrdList.T;
2008-07-11 wenzelm 2008-07-11 Sorts.weaken: abstract argument; tuned;
2008-07-11 haftmann 2008-07-11 fixed layout
2008-07-08 haftmann 2008-07-08 exported weaken combinator
2008-05-26 haftmann 2008-05-26 proper NoSubsort CLASS_ERROR
2008-04-13 wenzelm 2008-04-13 removed unused minimal_classes; class_error: produce message only (formerly msg_class_error); tuned;
2008-04-02 haftmann 2008-04-02 canonical meet_sort operation
2008-03-19 haftmann 2008-03-19 new class error case NoSubsort
2007-09-26 wenzelm 2007-09-26 added minimize_sort, complete_sort;
2007-07-08 wenzelm 2007-07-08 replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
2007-07-05 wenzelm 2007-07-05 sort_le: tuned eq case;
2007-04-03 wenzelm 2007-04-03 renamed of_sort_derivation record fields (avoid clash with Alice keywords);
2007-02-26 wenzelm 2007-02-26 removed obsolete eq_set;
2007-01-26 haftmann 2007-01-26 exported interface for explicit error messages
2007-01-25 haftmann 2007-01-25 added explicit query function for arities to subalgebra projection
2006-12-29 wenzelm 2006-12-29 classes: more direct way to achieve topological sorting; renamed classes to all_classes; added minimal_classes; renamed project to subalgebra, tuned;
2006-12-29 haftmann 2006-12-29 ``classes`` now returns classes in topological order
2006-09-18 wenzelm 2006-09-18 classes: maintain serial number;
2006-09-04 haftmann 2006-09-04 proper project_sort
2006-09-01 haftmann 2006-09-01 project_algebra yields sort projector
2006-08-17 haftmann 2006-08-17 added all_super_classes
2006-07-03 wenzelm 2006-07-03 project_algebra: norm_sort; tuned;
2006-06-27 haftmann 2006-06-27 added class projection
2006-05-16 wenzelm 2006-05-16 abstract interfaces for type algebra; tuned;
2006-05-07 wenzelm 2006-05-07 tuned;
2006-05-05 wenzelm 2006-05-05 added class_error and exception CLASS_ERROR (supercedes DOMAIN); clarified of_class_derivation; tuned witness_sorts;
2006-05-02 wenzelm 2006-05-02 tuned;
2006-05-02 wenzelm 2006-05-02 added domain_error; added of_sort_derivation; tuned;
2006-05-01 wenzelm 2006-05-01 arities: maintain original codomain;
2006-04-30 wenzelm 2006-04-30 moved certify_class/sort to type.ML; added operations to build sort algebras (from type.ML); tuned;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-04-25 wenzelm 2006-04-25 added remove_sort;
2006-04-11 wenzelm 2006-04-11 removed superclasses (see sign.ML);
2006-04-10 wenzelm 2006-04-10 removed unused class_le_path, sort_less;
2006-02-06 wenzelm 2006-02-06 TableFun: renamed xxx_multi to xxx_list;
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;