logic-classes 1.4.3 → 1.4.4

raw patch · 1 files changed

+1/−1 lines, 1 files

Files

• logic-classes.cabal +1/−1

@@ -1,5 +1,5 @@ Name:             logic-classes-Version:          1.4.3+Version:          1.4.4 Synopsis:         Framework for propositional and first order logic, theorem proving Description:      Package to support Propositional and First Order Logic.  It includes classes                   representing the different types of formulas and terms, some instances of