Index - F
| FFreshVar | Specification.Types |
| FInfixPred | Specification.Types |
| Focus | App.Model |
| focusedLine | App.Model |
| FOL | App.Model |
| FOpr | Specification.Types |
| Formula | Fitch.Proof |
| formula | ProofSyntax |
| formulaMatchesSpec | Fitch.Unification |
| FormulaParser | Parser.Formula |
| FormulaParserState | |
| 1 (Type/Class) | Parser.Formula |
| 2 (Data Constructor) | Parser.Formula |
| FormulaSpec | Specification.Types |
| FPlaceholder | Specification.Types |
| FPred | Specification.Types |
| FQuantifier | Specification.Types |
| FreeVars | Fitch.Unification |
| freeVars | Fitch.Unification |
| FreshVar | Fitch.Proof |
| fromLineNo | Fitch.Proof |
| fromLineRange | Fitch.Proof |
| fromNodeAddr | Fitch.Proof |
| fromPretty | ProofSyntax |
| FromText | App.Update |
| fromText | App.Update |
| fromWrapper | Fitch.Proof |
| FSubst | Specification.Types |
| Fun | Fitch.Proof |
| functionSymbols | App.Model |