| Fri, 01 Sep 2006 08:36:53 +0200 | haftmann | project_algebra yields sort projector | file | diff | annotate |
| Thu, 17 Aug 2006 09:24:49 +0200 | haftmann | added all_super_classes | file | diff | annotate |
| Mon, 03 Jul 2006 19:33:07 +0200 | wenzelm | project_algebra: norm_sort; | file | diff | annotate |
| Tue, 27 Jun 2006 10:09:48 +0200 | haftmann | added class projection | file | diff | annotate |
| Tue, 16 May 2006 13:01:28 +0200 | wenzelm | abstract interfaces for type algebra; | file | diff | annotate |
| Sun, 07 May 2006 00:21:13 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 05 May 2006 21:59:46 +0200 | wenzelm | added class_error and exception CLASS_ERROR (supercedes DOMAIN); | file | diff | annotate |
| Tue, 02 May 2006 00:33:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 02 May 2006 00:20:38 +0200 | wenzelm | added domain_error; | file | diff | annotate |
| Mon, 01 May 2006 17:05:12 +0200 | wenzelm | arities: maintain original codomain; | file | diff | annotate |
| Sun, 30 Apr 2006 22:50:08 +0200 | wenzelm | moved certify_class/sort to type.ML; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Tue, 25 Apr 2006 22:23:17 +0200 | wenzelm | added remove_sort; | file | diff | annotate |
| Tue, 11 Apr 2006 16:00:05 +0200 | wenzelm | removed superclasses (see sign.ML); | file | diff | annotate |
| Mon, 10 Apr 2006 00:33:52 +0200 | wenzelm | removed unused class_le_path, sort_less; | file | diff | annotate |
| Mon, 06 Feb 2006 20:58:57 +0100 | wenzelm | TableFun: renamed xxx_multi to xxx_list; | file | diff | annotate |
| Sat, 17 Dec 2005 01:00:40 +0100 | wenzelm | sort_distinct; | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Thu, 01 Sep 2005 18:48:50 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Mon, 29 Aug 2005 16:18:04 +0200 | wenzelm | use AList operations; | file | diff | annotate |
| Sun, 28 Aug 2005 09:36:18 +0200 | haftmann | added superclasses, class_le_path | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:53 +0200 | wenzelm | tuned norm_sort, mg_domain; | file | diff | annotate |
| 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; | file | diff | annotate |
| Wed, 15 Jun 2005 14:59:25 +0200 | haftmann | (undone experimental changes) | file | diff | annotate |
| Wed, 15 Jun 2005 14:56:26 +0200 | haftmann | subclassing done | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 16:40:08 +0200 | wenzelm | added certify_class/sort; | file | diff | annotate |
| Sat, 05 Jun 2004 13:06:39 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Sat, 29 May 2004 15:03:59 +0200 | wenzelm | improved output; refer to Pretty.pp; | file | diff | annotate |
| Fri, 21 May 2004 21:21:51 +0200 | wenzelm | incorporate sort ops from term.ML; use Graph.T; misc cleanup; | file | diff | annotate |
| Fri, 07 Jul 2000 21:51:52 +0200 | wenzelm | inter_sort: keep normal! | file | diff | annotate |
| Wed, 29 Sep 1999 14:03:57 +0200 | wenzelm | mg_domain: exception DOMAIN; | file | diff | annotate |
| Fri, 23 Jul 1999 16:50:55 +0200 | wenzelm | replace assoc lists by Symtab.table; | file | diff | annotate |
| Mon, 06 Oct 1997 18:39:54 +0200 | wenzelm | now uses Syntax.simple_str_of_sort; | file | diff | annotate |
| Wed, 06 Aug 1997 15:07:53 +0200 | wenzelm | added str_of_classrel; | file | diff | annotate |
| Fri, 18 Apr 1997 11:57:51 +0200 | wenzelm | removed least_sort; | file | diff | annotate |
| Wed, 16 Apr 1997 18:14:43 +0200 | wenzelm | Type classes and sorts (isolated from type.ML). | file | diff | annotate |