Index - F
| Facts | Scyther.Facts |
| fail | Control.Basics |
| FAtom | Scyther.Formula, Scyther.Facts |
| fcat | Text.PrettyPrint.Class, Text.Isar |
| FConj | Scyther.Formula, Scyther.Facts |
| FExists | Scyther.Formula, Scyther.Facts |
| field | Text.Dot |
| filterM | Control.Basics |
| find | Data.UnionFind |
| findRole | Scyther.Formula, Scyther.Facts |
| findWithDefault | Data.UnionFind |
| first | Control.Basics |
| fixedWidthText | Text.Isar |
| float | Text.PrettyPrint.Class, Text.Isar |
| flushLeft | Extension.Prelude |
| flushLeftBy | Extension.Prelude |
| flushRight | Extension.Prelude |
| flushRightBy | Extension.Prelude |
| fmap | Control.Basics |
| foldM | Control.Basics |
| foldM_ | Control.Basics |
| FORALL | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| forever | Control.Basics |
| forkManaged | Control.Concurrent.ManagedThreads |
| forM | Control.Basics |
| Formula | Scyther.Formula, Scyther.Facts |
| forM_ | Control.Basics |
| ForwardResolution | Scyther.Proof |
| freeVariableMappings | Scyther.Facts |
| Fresh | |
| 1 (Type/Class) | Scyther.Message, Scyther.Facts |
| 2 (Data Constructor) | Scyther.Message, Scyther.Facts |
| freshAgentId | Scyther.Facts |
| freshTID | Scyther.Facts |
| fromList | |
| 1 (Function) | Data.UnionFind |
| 2 (Function) | Data.Table |
| frule | Scyther.Sequent |
| fruleInst | Scyther.Sequent |
| fsep | Text.PrettyPrint.Class, Text.Isar |
| funApp | Scyther.Theory.Parser |
| Functor | Control.Basics |
| funOpen | Scyther.Theory.Parser |