Index - I
| Idempotent | Logic.Classes, GDP |
| idempotent | Logic.Classes, GDP |
| Implies | Logic.Propositional, GDP |
| Injective | Logic.Classes, GDP |
| introAnd | Logic.Propositional, GDP |
| introAnd' | Logic.Propositional, GDP |
| introEx | Logic.Propositional, GDP |
| introImpl | Logic.Propositional, GDP |
| introNot | Logic.Propositional, GDP |
| introOrL | Logic.Propositional, GDP |
| introOrR | Logic.Propositional, GDP |
| introUniv | Logic.Propositional, GDP |
| irrefl | Logic.NegClasses, GDP |
| Irreflexive | Logic.NegClasses, GDP |
| IsCons | |
| 1 (Type/Class) | Theory.Lists |
| 2 (Data Constructor) | Theory.Lists |
| IsCons_ | Theory.Lists |
| IsList | Theory.Lists |
| IsNil | |
| 1 (Type/Class) | Theory.Lists |
| 2 (Data Constructor) | Theory.Lists |
| IsNil_ | Theory.Lists |