| 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
|