twee 2.4.1 → 2.4.2

raw patch · 3 files changed

+9/−2 lines, 3 filesdep ~twee-lib

Dependency ranges changed: twee-lib

Files

• tests/cm.p +3/−0
• tests/y-easy.p +4/−0
• twee.cabal +2/−2

@@ -0,0 +1,3 @@+fof(a, axiom, ![X, Y]: plus(X, Y)=plus(Y, X)).+fof(a, axiom, ![X, Y, Z]: plus(plus(X, Y), Z)=plus(X, plus(Z, Y))).+fof(a, axiom, a!=b).

@@ -0,0 +1,4 @@+fof(k_def, axiom, ![X, Y]: (k @ X) @ Y = X).+fof(s_def, axiom, ![X, Y, Z]: ((s @ X) @ Y) @ Z = (X @ Z) @ (Y @ Z)).+fof(i_def, axiom, ![X]: i @ X = X).+fof(conjecture, conjecture, ?[Y]: ![F]: Y @ F = F @ (Y @ F)).

@@ -1,5 +1,5 @@ name:                twee-version:             2.4.1+version:             2.4.2 synopsis:            An equational theorem prover homepage:            http://github.com/nick8325/twee license:             BSD3@@ -45,7 +45,7 @@   other-modules:       SequentialMain   default-language:    Haskell2010   build-depends:       base < 5,-                       twee-lib == 2.4.1,+                       twee-lib == 2.4.2,                        containers,                        pretty,                        split,