Index - Z
| zeroWidthText | Data.Logic.ATP |
| ZigZagMode | Data.Logic.ATP |
| zipApplys | Data.Logic.ATP.Apply, Data.Logic.ATP |
| zipEquates | Data.Logic.ATP.Equate, Data.Logic.ATP |
| zipLiterals | Data.Logic.ATP.Lit, Data.Logic.ATP |
| zipLiterals' | Data.Logic.ATP.Lit, Data.Logic.ATP |
| zipPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| zipQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| zipTerms | Data.Logic.ATP.Term, Data.Logic.ATP |