| Mon, 26 May 2008 17:55:35 +0200 |
haftmann |
proper NoSubsort CLASS_ERROR
|
file |
diff |
annotate
|
| Sun, 13 Apr 2008 16:40:05 +0200 |
wenzelm |
removed unused minimal_classes;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2008 15:58:40 +0200 |
haftmann |
canonical meet_sort operation
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 07:20:30 +0100 |
haftmann |
new class error case NoSubsort
|
file |
diff |
annotate
|
| Wed, 26 Sep 2007 20:50:34 +0200 |
wenzelm |
added minimize_sort, complete_sort;
|
file |
diff |
annotate
|
| Sun, 08 Jul 2007 19:51:58 +0200 |
wenzelm |
replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 00:06:24 +0200 |
wenzelm |
sort_le: tuned eq case;
|
file |
diff |
annotate
|
| Tue, 03 Apr 2007 19:24:16 +0200 |
wenzelm |
renamed of_sort_derivation record fields (avoid clash with Alice keywords);
|
file |
diff |
annotate
|
| Mon, 26 Feb 2007 23:18:29 +0100 |
wenzelm |
removed obsolete eq_set;
|
file |
diff |
annotate
|
| Fri, 26 Jan 2007 13:59:03 +0100 |
haftmann |
exported interface for explicit error messages
|
file |
diff |
annotate
|
| Thu, 25 Jan 2007 09:32:46 +0100 |
haftmann |
added explicit query function for arities to subalgebra projection
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 17:24:44 +0100 |
wenzelm |
classes: more direct way to achieve topological sorting;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 12:11:03 +0100 |
haftmann |
``classes`` now returns classes in topological order
|
file |
diff |
annotate
|
| Mon, 18 Sep 2006 19:12:45 +0200 |
wenzelm |
classes: maintain serial number;
|
file |
diff |
annotate
|
| Mon, 04 Sep 2006 08:17:28 +0200 |
haftmann |
proper project_sort
|
file |
diff |
annotate
|
| 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
|