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.4.7: Framework for propositional and first order logic, theorem proving