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