| Fri, 03 Feb 2006 23:12:28 +0100 |
wenzelm |
canonical member/insert/merge;
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 09:11:32 +0200 |
wenzelm |
header;
|
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
|
| Thu, 21 Aug 2003 11:41:44 +0200 |
paulson |
Change from "tracing" to "warning", as requested by David Aspinall
|
file |
diff |
annotate
|
| Wed, 21 Nov 2001 00:36:51 +0100 |
wenzelm |
use tracing function for trace output;
|
file |
diff |
annotate
|
| Sun, 23 Jul 2000 12:04:56 +0200 |
wenzelm |
tuned ThmHeap;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2000 11:54:07 +0200 |
paulson |
now uses the heap data structure for BEST_FIRST
|
file |
diff |
annotate
|
| Fri, 28 Jan 2000 11:23:41 +0100 |
oheimb |
added tacticals DETERM_UNTIL and DETERM_UNTIL_SOLVED
|
file |
diff |
annotate
|
| Wed, 25 Nov 1998 13:57:44 +0100 |
wenzelm |
replaced prs by writeln;
|
file |
diff |
annotate
|
| Fri, 23 Oct 1998 20:34:59 +0200 |
oheimb |
added SOLVE tactical
|
file |
diff |
annotate
|
| Tue, 20 Oct 1998 16:33:47 +0200 |
wenzelm |
QUIET_BREADTH_FIRST;
|
file |
diff |
annotate
|
| Fri, 21 Nov 1997 15:27:43 +0100 |
wenzelm |
changed Sequence interface (now Seq, in seq.ML);
|
file |
diff |
annotate
|
| Tue, 22 Jul 1997 11:14:18 +0200 |
paulson |
Removal of the tactical STATE
|
file |
diff |
annotate
|
| Wed, 02 Apr 1997 15:24:42 +0200 |
paulson |
DEEPEN now takes an upper bound for terminating searches
|
file |
diff |
annotate
|
| Fri, 21 Feb 1997 15:31:47 +0100 |
paulson |
Replaced "flat" by the Basis Library function List.concat
|
file |
diff |
annotate
|
| Fri, 01 Nov 1996 15:15:39 +0100 |
paulson |
Replaced min by Int.min
|
file |
diff |
annotate
|
| Mon, 18 Mar 1996 13:42:35 +0100 |
paulson |
New file containing search tacticals
|
file |
diff |
annotate
|