logic-classes-1.5.2: Framework for propositional and first order logic, theorem proving

Index - |

|->Data.Logic.Harrison.Lib
|=>Data.Logic.Harrison.Lib