| edge | Text.Dot |
| edgeAttributes | Text.Dot |
| empty | |
| 1 (Function) | Control.Basics |
| 2 (Function) | Data.UnionFind |
| 3 (Function) | Data.Table |
| 4 (Function) | Scyther.Equalities |
| 5 (Function) | Scyther.Facts |
| emptyDoc | Text.PrettyPrint.Class, Text.Isar |
| emptyMapping | Scyther.Equalities |
| EncT | Scyther.Typing, Scyther.Facts |
| endComment | Scyther.Theory.Lexer |
| ensureProofMode | Scyther.Theory.Pretty |
| ensureUniqueRoleNames | Scyther.Theory |
| EOF | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| eqClasses | Extension.Prelude |
| eqClassesBy | Extension.Prelude |
| eqsToMapping | Scyther.Facts |
| EQUAL | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| Equalities | Scyther.Equalities |
| equals | Text.PrettyPrint.Class, Text.Isar |
| equate | Data.UnionFind |
| equateList | Data.UnionFind |
| equiv | Data.UnionFind |
| errorFree | Extension.Prelude |
| errorFree1 | Extension.Prelude |
| evalBoundedDFS | Control.Monad.BoundedDFS |
| evalBranchAndBound | Control.Monad.BoundedDFS |
| evalConsistentLabels | Control.Monad.Label |
| evalConsistentLabelsT | Control.Monad.Label |
| evalHtmlMarkup | Scyther.Theory.Html |
| Event | Scyther.Event, Scyther.Facts |
| EventOrder | Scyther.Event, Scyther.Facts |
| evOrdTIDs | Scyther.Event, Scyther.Facts |
| evTIDs | Scyther.Event, Scyther.Facts |
| execBoundedDFS | Control.Monad.BoundedDFS |
| execBranchAndBound | Control.Monad.BoundedDFS |
| execConsistentLabels | Control.Monad.Label |
| execConsistentLabelsT | Control.Monad.Label |
| EXISTS | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| existsPossibleAttack | Scyther.Proof |
| exploitLongTermKeySecrecy | Scyther.Facts |
| exploitTyping | Scyther.Sequent |
| exploitTypingFacts | Scyther.Facts |
| extractTypeInvariant | Scyther.Proof |