| IDENT | Language.VDM_SL.Syntax |
| IDENTIFIER | Language.VDM_SL.Syntax |
| IDENT_PAT | Language.VDM_SL.Syntax |
| IF_EXPR | Language.VDM_SL.Syntax |
| IF_THEN_ELSE | Language.VDM_SL.Syntax |
| IF_THEN_ELSEIF | Language.VDM_SL.Syntax |
| IMPLY | Language.VDM_SL.Syntax |
| IMPL_FUNC | Language.VDM_SL.Syntax |
| IMPL_FUNC_DEF | Language.VDM_SL.Syntax |
| IMPL_FUNC_TYPE | Language.VDM_SL.Syntax |
| IMPL_OPER | Language.VDM_SL.Syntax |
| IMPL_OPER_DEF | Language.VDM_SL.Syntax |
| IMPL_OPER_EXCEP | Language.VDM_SL.Syntax |
| IMPL_OPER_TYPE | Language.VDM_SL.Syntax |
| IMPL_OPER_TYPE_EXCEP | Language.VDM_SL.Syntax |
| INDS | Language.VDM_SL.Syntax |
| INITIALIZATION | Language.VDM_SL.Syntax |
| INMAP_TYPE | Language.VDM_SL.Syntax |
| INT |
| 1 (Data Constructor) | Language.VDM_SL.Syntax |
| 2 (Type/Class) | PrettyPrint.Tables.LrcPrelude |
| 3 (Type/Class) | PrettyPrint.XML.LrcPrelude |
| INTER | Language.VDM_SL.Syntax |
| INVARIANT | Language.VDM_SL.Syntax |
| INVERSE | Language.VDM_SL.Syntax |
| IN_SET | Language.VDM_SL.Syntax |
| IOTA | Language.VDM_SL.Syntax |
| IS_ID | Language.VDM_SL.Syntax |
| IS_IDENT | Language.VDM_SL.Syntax |
| ITERATE | Language.VDM_SL.Syntax |
| IdA | PrettyPrint.XML.Dot |
| Identifier |
| 1 (Type/Class) | Language.ContextFree.Examples.LittleLambda |
| 2 (Type/Class) | Language.Java.Syntax |
| 3 (Data Constructor) | Language.Java.Syntax |
| Identifier1 | Language.Java.Syntax |
| Identifier_p | Language.Java.Syntax |
| If | Language.Java.Syntax |
| IfThenElseStatement |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| IfThenElseStatementNoShortIf |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| IfThenStatement |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| If_else | Language.Java.Syntax |
| If_else1 | Language.Java.Syntax |
| If_expression | Language.VDM_SL.Syntax |
| If_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Ignore | PrettyPrint.XML.Dot |
| IgnoreSect | PrettyPrint.XML.Dot |
| IgnoreSectContents | PrettyPrint.XML.Dot |
| ImpSection | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Implements_comma | Language.Java.Syntax |
| Implicit_function_definition | Language.VDM_SL.Syntax |
| Implicit_operation_definition | Language.VDM_SL.Syntax |
| Import | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| ImportDeclaration | Language.Java.Syntax |
| ImportMap | Language.Java.Util |
| Import_semicolon | Language.Java.Syntax |
| Import_times_semicolon | Language.Java.Syntax |
| Imports | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| IncludeSect | PrettyPrint.XML.Dot |
| Include_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Incr2 | Language.Java.Syntax |
| Incr3 | Language.Java.Syntax |
| Index_on_clause | Language.PLSql.Syntax |
| Index_on_clause_c1 | Language.PLSql.Syntax |
| Index_on_clause_c2 | Language.PLSql.Syntax |
| Index_parameter | Language.PLSql.Syntax |
| Index_parameter_c1 | Language.PLSql.Syntax |
| Index_parameter_c10 | Language.PLSql.Syntax |
| Index_parameter_c2 | Language.PLSql.Syntax |
| Index_parameter_c3 | Language.PLSql.Syntax |
| Index_parameter_c4 | Language.PLSql.Syntax |
| Index_parameter_c5 | Language.PLSql.Syntax |
| Index_parameter_c6 | Language.PLSql.Syntax |
| Index_parameter_c7 | Language.PLSql.Syntax |
| Index_parameter_c8 | Language.PLSql.Syntax |
| Index_parameter_c9 | Language.PLSql.Syntax |
| Index_parameters |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Init_value |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Initialization | Language.VDM_SL.Syntax |
| Insert | Language.HaLex.DfaMonad |
| Insert_statement | Language.PLSql.Syntax |
| Insert_statement_c1 | Language.PLSql.Syntax |
| Insert_statement_c2 | Language.PLSql.Syntax |
| Instanceof | Language.Java.Syntax |
| Instances | Camila.Prelude, Camila.State |
| Instr | Language.HaLex.DfaMonad |
| Int | Language.Java.Syntax |
| IntCon | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Integer | Language.PLSql.Syntax |
| IntegerLiteral |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| Integer_or_default | Language.PLSql.Syntax |
| Integer_or_default_c1 | Language.PLSql.Syntax |
| Integer_or_default_c2 | Language.PLSql.Syntax |
| Integer_or_other | Language.PLSql.Syntax |
| Integer_or_other_c1 | Language.PLSql.Syntax |
| Integer_or_other_c2 | Language.PLSql.Syntax |
| Integer_or_other_c3 | Language.PLSql.Syntax |
| Integer_or_unlimited | Language.PLSql.Syntax |
| Integer_or_unlimited_c1 | Language.PLSql.Syntax |
| Integer_or_unlimited_c2 | Language.PLSql.Syntax |
| Integer_text_var | Language.PLSql.Syntax |
| Integer_text_var_c1 | Language.PLSql.Syntax |
| Integer_text_var_c2 | Language.PLSql.Syntax |
| Integer_text_var_c3 | Language.PLSql.Syntax |
| Integer_text_var_c4 | Language.PLSql.Syntax |
| IntegralType |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| Interface | Language.Java.Syntax |
| InterfaceBody | Language.Java.Syntax |
| InterfaceDeclaration |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| InterfaceMemberDeclaration | Language.Java.Syntax |
| InterfaceMemberDeclaration_s | Language.Java.Syntax |
| InterfaceType | Language.Java.Syntax |
| Interfaces | Language.Java.Syntax |
| InterpState | Camila.Prelude, Camila.State |
| Into |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Into_qualified_name |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Into_qualified_names |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Invariant | Language.VDM_SL.Syntax |
| Isolation_level | Language.PLSql.Syntax |
| Isolation_level_c1 | Language.PLSql.Syntax |
| Isolation_level_c2 | Language.PLSql.Syntax |
| Isolation_level_clause |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Item |
| 1 (Type/Class) | Language.ContextFree.LR_0 |
| 2 (Type/Class) | PrettyPrint.Tables.Data_Lazy |
| Items | PrettyPrint.Tables.Data_Lazy |
| identityRel | Data.Relation.SetOfPairs |
| inc_glrLazy | Language.ContextFree.G_LR_Inc, Language.ContextFree.MemoInc_G_LR |
| inc_glrStrict | Language.ContextFree.G_LR_Inc, Language.ContextFree.MemoInc_G_LR |
| inc_glraccept | Language.ContextFree.G_LR_Inc, Language.ContextFree.MemoInc_G_LR |
| infer | Language.Gnumeric.TypeInference |
| init' | Camila.Examples.StackAlg |
| initModel | Control.ModelViewController |
| injective | Camila.Prelude, Data.FiniteMapExtras |
| inl | Camila.Prelude, Pointless.Combinators |
| inr | Camila.Prelude, Pointless.Combinators |
| instances | Camila.Prelude, Camila.State |
| integrate | Data.Relation.SetOfPairs |
| intent | Data.Relation.FormalConceptAnalysis |
| intentFromExtent | Data.Relation.FormalConceptAnalysis |
| interact_FM | Camila.Prelude, Data.FiniteMapExtras |
| interact_Set | Camila.Prelude, Data.SetExtras |
| interfaces142 | Language.Java.Util |
| internalNodes | Data.Relation.SetOfPairs |
| inv |
| 1 (Function) | Camila.DTInvariants, Camila.Prelude |
| 2 (Function) | Data.Relation.SetOfPairs |
| inv' | Camila.DTInvariants, Camila.Prelude |
| inverse | Camila.Prelude, Data.FiniteMapExtras |
| inverse2 | Camila.Prelude, Data.FiniteMapExtras |
| ioUnion | Language.Haskell.ModuleGraph |
| isComposed | Language.VDM_SL.FuncLib |
| isConceptOf | Data.Relation.FormalConceptAnalysis |
| isIdempotentS | Data.TermLanguage, Data.TermLanguage.AutoTermLanguage |
| isInstanceOfT | Data.TermLanguage, Data.TermLanguage.AutoTermLanguage |
| isInvalid | Language.Java.CallGraph |
| isLit | Language.Haskell.ChaseImports |
| isLiterate | Language.Haskell.ChaseImports |
| isQualified | Language.Java.Util |
| isReject | Language.Sdf.SdfLib |
| isRejectOrBracket | Language.Sdf.SdfLib |
| isStDead | Language.HaLex.DfaMonad |
| isSyncState | Language.HaLex.DfaMonad |
| isValueDef | Language.Haskell.DeadCode |
| isVar | Data.Unification |
| is_accepting_action | Language.ContextFree.SLR |
| is_accepting_item | Language.ContextFree.LR_0 |
| is_reducing_it | Language.ContextFree.LR_0 |
| is_terminal | Language.ContextFree.Cfg |
| isreal | Language.HaLex.Examples.Real |
