Proper 0.4.1.0 → 0.4.2.0

raw patch · 1 files changed

+1/−1 lines, 1 files

Files

• Proper.cabal +1/−1

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                Proper-version:             0.4.1.0+version:             0.4.2.0 synopsis:	     An implementation of propositional logic in Haskell             description:         Proper is both an executable theorem prover for Propositional logic 		     and a library for incorporating propositional logic into other Haskell