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 |