| Mon, 17 Jun 1996 16:51:47 +0200 |
paulson |
Inserted comment about problem 43
|
file |
diff |
annotate
|
| Thu, 04 Apr 1996 18:18:08 +0200 |
paulson |
deleted obsolete comment
|
file |
diff |
annotate
|
| Mon, 11 Mar 1996 14:03:30 +0100 |
paulson |
Added formulation of Halting Problem
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 13:56:16 +0100 |
clasohm |
fixed typo
|
file |
diff |
annotate
|
| Mon, 29 Jan 1996 13:58:15 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Thu, 14 Dec 1995 12:49:32 +0100 |
paulson |
Added Pelletier's problem 62, as corrected in AAR
|
file |
diff |
annotate
|
| Thu, 24 Nov 1994 00:31:08 +0100 |
lcp |
updated for new deepen_tac
|
file |
diff |
annotate
|
| Mon, 31 Oct 1994 16:45:19 +0100 |
lcp |
FOL/ex/cla: proofs now use deepen_tac instead of best_tac FOL_dup_cs
|
file |
diff |
annotate
|
| Wed, 19 Oct 1994 09:41:48 +0100 |
lcp |
FOL/ex/cla/58: slightly shorter proof
|
file |
diff |
annotate
|
| Wed, 27 Jul 1994 19:08:14 +0200 |
lcp |
added a new example due to Robin Arthan
|
file |
diff |
annotate
|
| Fri, 17 Jun 1994 17:47:42 +0200 |
lcp |
problem 38 is provable
|
file |
diff |
annotate
|
| Thu, 07 Oct 1993 09:49:46 +0100 |
lcp |
examples now use ~= for "not equals"
|
file |
diff |
annotate
|
| Fri, 24 Sep 1993 11:27:15 +0200 |
lcp |
Added example from Avron: Gentzen-Type Systems, Resolution and Tableaux, JAR 10
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|