Fri, 16 Jul 2004 09:36:04 +0200 |
wenzelm |
int_ord = Int.compare, string_ord = String.compare;
|
file |
diff |
annotate
|
Sun, 11 Jul 2004 20:35:23 +0200 |
wenzelm |
added fold_rev: ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b;
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Fri, 18 Jun 2004 20:07:42 +0200 |
wenzelm |
tuned exists_string;
|
file |
diff |
annotate
|
Sat, 12 Jun 2004 22:46:21 +0200 |
wenzelm |
added translate_string;
|
file |
diff |
annotate
|
Sat, 05 Jun 2004 13:06:04 +0200 |
wenzelm |
tuned exeption handling (capture/release);
|
file |
diff |
annotate
|
Sat, 29 May 2004 15:02:13 +0200 |
wenzelm |
output channels and diagnostics moved to General/output.ML; added read_int etc. from term.ML; removed obsolete mtree; type rat uses exception RAT;
|
file |
diff |
annotate
|
Fri, 21 May 2004 21:46:25 +0200 |
berghofe |
- exported result datatype
|
file |
diff |
annotate
|
Fri, 21 May 2004 21:27:42 +0200 |
wenzelm |
added fold, product; removed transitive_closure;
|
file |
diff |
annotate
|
Sat, 17 Apr 2004 17:08:53 +0200 |
berghofe |
Fixed bug in rmod that caused an overflow exception in SML/NJ.
|
file |
diff |
annotate
|
Fri, 19 Mar 2004 10:42:38 +0100 |
paulson |
Removing the datatype declaration of "order" allows the standard General.order
|
file |
diff |
annotate
|
Fri, 11 Jul 2003 14:59:50 +0200 |
berghofe |
Added several functions for producing random numbers.
|
file |
diff |
annotate
|
Wed, 29 Jan 2003 17:32:19 +0100 |
berghofe |
Added function rev_append.
|
file |
diff |
annotate
|
Mon, 07 Oct 2002 19:01:51 +0200 |
nipkow |
take/drop -> splitAt
|
file |
diff |
annotate
|
Thu, 08 Aug 2002 23:53:22 +0200 |
wenzelm |
transform_error: pass through Interrupt;
|
file |
diff |
annotate
|