src/Pure/sorts.ML
Wed, 18 Feb 2009 19:18:33 +0100 haftmann sort instances wrt. to class hierarchy
Wed, 31 Dec 2008 15:30:10 +0100 wenzelm moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
Mon, 01 Dec 2008 12:17:00 +0100 haftmann more means for algebra projection
Wed, 22 Oct 2008 14:15:47 +0200 haftmann added meet_sort_typ
Thu, 16 Oct 2008 22:44:32 +0200 wenzelm added make, minimal_sorts;
Fri, 26 Sep 2008 17:24:15 +0200 wenzelm added subset operation;
Thu, 25 Sep 2008 13:21:13 +0200 wenzelm explicit type OrdList.T;
Fri, 11 Jul 2008 23:17:25 +0200 wenzelm Sorts.weaken: abstract argument;
Fri, 11 Jul 2008 09:02:31 +0200 haftmann fixed layout
Tue, 08 Jul 2008 18:13:11 +0200 haftmann exported weaken combinator
Mon, 26 May 2008 17:55:35 +0200 haftmann proper NoSubsort CLASS_ERROR
Sun, 13 Apr 2008 16:40:05 +0200 wenzelm removed unused minimal_classes;
Wed, 02 Apr 2008 15:58:40 +0200 haftmann canonical meet_sort operation
Wed, 19 Mar 2008 07:20:30 +0100 haftmann new class error case NoSubsort
Wed, 26 Sep 2007 20:50:34 +0200 wenzelm added minimize_sort, complete_sort;
Sun, 08 Jul 2007 19:51:58 +0200 wenzelm replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
Thu, 05 Jul 2007 00:06:24 +0200 wenzelm sort_le: tuned eq case;
Tue, 03 Apr 2007 19:24:16 +0200 wenzelm renamed of_sort_derivation record fields (avoid clash with Alice keywords);
Mon, 26 Feb 2007 23:18:29 +0100 wenzelm removed obsolete eq_set;
Fri, 26 Jan 2007 13:59:03 +0100 haftmann exported interface for explicit error messages
Thu, 25 Jan 2007 09:32:46 +0100 haftmann added explicit query function for arities to subalgebra projection
Fri, 29 Dec 2006 17:24:44 +0100 wenzelm classes: more direct way to achieve topological sorting;
Fri, 29 Dec 2006 12:11:03 +0100 haftmann ``classes`` now returns classes in topological order
Mon, 18 Sep 2006 19:12:45 +0200 wenzelm classes: maintain serial number;
Mon, 04 Sep 2006 08:17:28 +0200 haftmann proper project_sort
Fri, 01 Sep 2006 08:36:53 +0200 haftmann project_algebra yields sort projector
Thu, 17 Aug 2006 09:24:49 +0200 haftmann added all_super_classes
Mon, 03 Jul 2006 19:33:07 +0200 wenzelm project_algebra: norm_sort;
Tue, 27 Jun 2006 10:09:48 +0200 haftmann added class projection
Tue, 16 May 2006 13:01:28 +0200 wenzelm abstract interfaces for type algebra;
Sun, 07 May 2006 00:21:13 +0200 wenzelm tuned;
Fri, 05 May 2006 21:59:46 +0200 wenzelm added class_error and exception CLASS_ERROR (supercedes DOMAIN);
Tue, 02 May 2006 00:33:40 +0200 wenzelm tuned;
Tue, 02 May 2006 00:20:38 +0200 wenzelm added domain_error;
Mon, 01 May 2006 17:05:12 +0200 wenzelm arities: maintain original codomain;
Sun, 30 Apr 2006 22:50:08 +0200 wenzelm moved certify_class/sort to type.ML;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Tue, 25 Apr 2006 22:23:17 +0200 wenzelm added remove_sort;
Tue, 11 Apr 2006 16:00:05 +0200 wenzelm removed superclasses (see sign.ML);
Mon, 10 Apr 2006 00:33:52 +0200 wenzelm removed unused class_le_path, sort_less;
Mon, 06 Feb 2006 20:58:57 +0100 wenzelm TableFun: renamed xxx_multi to xxx_list;
Sat, 17 Dec 2005 01:00:40 +0100 wenzelm sort_distinct;
Tue, 04 Oct 2005 19:01:37 +0200 wenzelm minor tweaks for Poplog/ML;
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 01 Sep 2005 18:48:50 +0200 wenzelm curried_lookup/update;
Mon, 29 Aug 2005 16:18:04 +0200 wenzelm use AList operations;
Sun, 28 Aug 2005 09:36:18 +0200 haftmann added superclasses, class_le_path
Tue, 19 Jul 2005 17:21:53 +0200 wenzelm tuned norm_sort, mg_domain;
Wed, 29 Jun 2005 15:13:28 +0200 wenzelm removed obsolete eq_sort, mem_sort, subset_sort, eq_set_sort, ins_sort, union_sort, rems_sort;
Wed, 15 Jun 2005 14:59:25 +0200 haftmann (undone experimental changes)
Wed, 15 Jun 2005 14:56:26 +0200 haftmann subclassing done
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 21 Jun 2004 16:40:08 +0200 wenzelm added certify_class/sort;
Sat, 05 Jun 2004 13:06:39 +0200 wenzelm tuned comments;
Sat, 29 May 2004 15:03:59 +0200 wenzelm improved output; refer to Pretty.pp;
Fri, 21 May 2004 21:21:51 +0200 wenzelm incorporate sort ops from term.ML; use Graph.T; misc cleanup;
Fri, 07 Jul 2000 21:51:52 +0200 wenzelm inter_sort: keep normal!
Wed, 29 Sep 1999 14:03:57 +0200 wenzelm mg_domain: exception DOMAIN;
Fri, 23 Jul 1999 16:50:55 +0200 wenzelm replace assoc lists by Symtab.table;
less more (0) -60 tip