Index - I
| Iff | |
| 1 (Data Constructor) | Data.Logic.ATP.Prop |
| 2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| iffOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| iffPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| image | Data.Logic.ATP.Lib, Data.Logic.ATP |
| Imp | |
| 1 (Data Constructor) | Data.Logic.ATP.Prop |
| 2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| impOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| impPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| InfixA | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| InfixL | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| InfixN | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| InfixR | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| int | Data.Logic.ATP |
| integer | Data.Logic.ATP |
| Interp | Data.Logic.ATP.FOL, Data.Logic.ATP |
| IsAtom | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| isEmpty | Data.Logic.ATP |
| IsFirstOrder | Data.Logic.ATP.FOL, Data.Logic.ATP |
| IsFormula | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| IsFunction | Data.Logic.ATP.Term, Data.Logic.ATP |
| IsLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| IsPredicate | Data.Logic.ATP.Apply, Data.Logic.ATP |
| IsPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| IsQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| IsTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
| IsVariable | Data.Logic.ATP.Term, Data.Logic.ATP |