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