| Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
| Tue, 22 Jul 1997 11:12:55 +0200 |
paulson |
Removal of the tactical STATE
|
file |
diff |
annotate
|
| Wed, 05 Mar 1997 09:59:24 +0100 |
paulson |
Renamed constant "not" to "Not"
|
file |
diff |
annotate
|
| Thu, 26 Sep 1996 12:47:47 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
| Fri, 21 Jun 1996 12:18:50 +0200 |
berghofe |
Classical tactics now use default claset.
|
file |
diff |
annotate
|
| Fri, 24 May 1996 11:42:04 +0200 |
paulson |
Augmented comment about conversion to clauses
|
file |
diff |
annotate
|
| Thu, 21 Mar 1996 11:11:47 +0100 |
paulson |
Now labels the Horn and goal clauses to make the proof
|
file |
diff |
annotate
|
| Fri, 15 Mar 1996 18:42:36 +0100 |
paulson |
New safe_meson_tac uses iterative deepening
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 18:00:47 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Wed, 22 Mar 1995 12:42:34 +0100 |
clasohm |
converted ex with curried function application
|
file |
diff |
annotate
|