Index - I
| Id | |
| 1 (Type/Class) | Scyther.Protocol, Scyther.Facts |
| 2 (Data Constructor) | Scyther.Protocol, Scyther.Facts |
| IDENT | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| identifier | Scyther.Theory.Parser |
| ifM | Extension.Prelude |
| implies | Extension.Prelude |
| insertItem | Scyther.Theory |
| inst | Scyther.Message, Scyther.Facts |
| int | Text.PrettyPrint.Class, Text.Isar |
| integer | |
| 1 (Function) | Text.PrettyPrint.Class, Text.Isar |
| 2 (Function) | Scyther.Theory.Parser |
| isaAlpha | Text.Isar |
| isaAnd | Text.Isar |
| isaAtom | Scyther.Formula, Scyther.Facts |
| isaCompr | Scyther.Formula, Scyther.Facts |
| isaEvent | Scyther.Event, Scyther.Facts |
| isaEventOrd | Scyther.Event, Scyther.Facts |
| isaExecutionSystemState | Text.Isar |
| isaExists | Text.Isar |
| isaFacts | Scyther.Facts |
| isaFormula | Scyther.Formula, Scyther.Facts |
| isaIn | Text.Isar |
| isaLBrack | Text.Isar |
| isaLongRightArrow | Text.Isar |
| isaLParr | Text.Isar |
| isaMetaAll | Text.Isar |
| isaNotIn | Text.Isar |
| isaOptType | Scyther.Typing, Scyther.Facts |
| Isar | Text.Isar |
| isar | Text.Isar |
| isaRBrack | Text.Isar |
| IsarConf | |
| 1 (Type/Class) | Text.Isar |
| 2 (Data Constructor) | Text.Isar |
| isarightArrow | Text.Isar |
| isaRoleStep | Scyther.Protocol, Scyther.Facts |
| isaRParr | Text.Isar |
| isarPlain | Text.Isar |
| isarPool | Text.Isar |
| IsarStyle | Text.Isar |
| isarStyle | Text.Isar |
| isarSubst | Text.Isar |
| isarTrace | Text.Isar |
| isarXSymbol | Text.Isar |
| isaSublocale | Text.Isar |
| isaSubsetEq | Text.Isar |
| isaType | Scyther.Typing, Scyther.Facts |
| isaUncompr | Scyther.Formula, Scyther.Facts |
| isAxiom | Scyther.Theory |
| isAxiomProof | Scyther.Proof |
| isEmpty | Text.PrettyPrint.Class, Text.Isar |
| isLeft | Extension.Prelude |
| isPlainStyle | Text.Isar |
| isRight | Extension.Prelude |
| isTrivialProof | Scyther.Proof |
| isTypingFormula | Scyther.Formula, Scyther.Facts |
| iUnbox | Scyther.Theory.Lexer |