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 |