Index - I
| incrementNodeAddr | Fitch.Proof |
| InfixPred | Fitch.Proof |
| infixPreds | |
| 1 (Function) | Parser.Formula |
| 2 (Function) | App.Model |
| infixPredsFOL | Specification.FOL |
| initialModel | App.Model |
| initialModelFOL | Specification.FOL |
| initialModelProp | Specification.Prop |
| initialParserState | Parser.Formula |
| InitMathJAX | App.Model |
| Input | App.Model |
| inRange | Util |
| insertAt | Util |
| interleave | Util |
| interleaveWithDropZones | App.Views |
| isFirstLineIn | Fitch.Proof |
| isFresh | Fitch.Unification |
| isFun | Fitch.Proof |
| isNAAssumption | Fitch.Proof |
| isNestedNAAssumption | Fitch.Proof |
| isNestedNAConclusion | Fitch.Proof |
| isParseValid | Fitch.Proof |
| isUnparsed | Fitch.Proof |