Thu, 09 Jun 2005 12:03:29 +0200 |
wenzelm |
added structure Inttab;
|
file |
diff |
annotate
|
Thu, 02 Jun 2005 18:29:52 +0200 |
wenzelm |
exists: made non-strict;
|
file |
diff |
annotate
|
Tue, 31 May 2005 11:53:30 +0200 |
wenzelm |
remove(_multi): generalized type;
|
file |
diff |
annotate
|
Wed, 18 May 2005 11:30:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 17 Apr 2005 19:40:34 +0200 |
wenzelm |
added delete_safe, insert, remove, remove_multi;
|
file |
diff |
annotate
|
Thu, 07 Apr 2005 09:26:40 +0200 |
wenzelm |
tuned updates, added map_entry;
|
file |
diff |
annotate
|
Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
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
|
Tue, 24 Aug 2004 17:55:24 +0200 |
obua |
changes
|
file |
diff |
annotate
|
Sat, 03 Jul 2004 15:26:58 +0200 |
berghofe |
Added delete operation.
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sat, 24 Nov 2001 16:58:31 +0100 |
wenzelm |
added join, merge_multi(');
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:02:46 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Thu, 30 Mar 2000 14:18:40 +0200 |
wenzelm |
export update_multi;
|
file |
diff |
annotate
|
Fri, 10 Mar 2000 15:00:32 +0100 |
berghofe |
Added function min_key.
|
file |
diff |
annotate
|
Thu, 22 Jul 1999 20:52:58 +0200 |
wenzelm |
added exists;
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 15:18:02 +0100 |
wenzelm |
fixed titles;
|
file |
diff |
annotate
|
Tue, 20 Oct 1998 16:19:53 +0200 |
wenzelm |
added foldl, keys;
|
file |
diff |
annotate
|
Wed, 10 Jun 1998 11:53:37 +0200 |
wenzelm |
moved table.ML to General/table.ML;
|
file |
diff |
annotate
|