Index - I
| IBox | HyLo.Formula |
| IDiam | HyLo.Formula |
| inducedModel | HyLo.Model.Herbrand |
| InferenceTask | HyLo.InputFile.Parser |
| initParseState | HyLo.InputFile.Parser |
| Injective | HyLo.InputFile.Parser |
| InputFile | HyLo.InputFile |
| insert | |
| 1 (Function) | Data.EnumMap |
| 2 (Function) | Data.EnumSet |
| insertLookupWithKey | Data.EnumMap |
| insertWith | Data.EnumMap |
| intersection | Data.EnumSet |
| InverseOf | HyLo.InputFile.Parser |
| isNomInSig | HyLo.Signature |
| isPropInSig | HyLo.Signature |
| isRelInSig | HyLo.Signature |
| isSubsignatureOf | HyLo.Signature |