Index - Z
zipApplys | Data.Logic.Classes.Apply |
zipAtomsEq | Data.Logic.Classes.Equals |
zipFirstOrder | Data.Logic.Classes.FirstOrder |
zipLiterals | Data.Logic.Classes.Literal |
zipTerms | Data.Logic.Classes.Term |
logic-classes-1.5.2: Framework for propositional and first order logic, theorem proving