src/FOL/ex/cla.ML
Wed, 27 Jul 1994 19:08:14 +0200 lcp added a new example due to Robin Arthan
Fri, 17 Jun 1994 17:47:42 +0200 lcp problem 38 is provable
Thu, 07 Oct 1993 09:49:46 +0100 lcp examples now use ~= for "not equals"
Fri, 24 Sep 1993 11:27:15 +0200 lcp Added example from Avron: Gentzen-Type Systems, Resolution and Tableaux, JAR 10
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip