| Label | |
| 1 (Type/Class) | Scyther.Protocol, Scyther.Facts |
| 2 (Data Constructor) | Scyther.Protocol, Scyther.Facts |
| label | Control.Monad.Label |
| labelOrd | Scyther.Protocol, Scyther.Facts |
| LAND | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| LBRACE | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| lbrace | Text.PrettyPrint.Class, Text.Isar |
| lbrack | Text.PrettyPrint.Class, Text.Isar |
| LBRACKET | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| Learn | Scyther.Event, Scyther.Facts |
| leaveOneOut | Extension.Prelude |
| left | Control.Basics |
| leftApp | Control.Basics |
| LEFTARROW | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| LeftMode | Text.PrettyPrint.Class, Text.Isar |
| LESS | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| lidId | Scyther.Message, Scyther.Facts |
| lidTID | Scyther.Message, Scyther.Facts |
| liftA | Control.Basics |
| liftA2 | Control.Basics |
| liftA3 | Control.Basics |
| liftM | Control.Basics |
| liftM2 | Control.Basics |
| liftM3 | Control.Basics |
| liftM4 | Control.Basics |
| liftM5 | Control.Basics |
| liftMaybe | Scyther.Theory.Parser |
| liftMaybe' | Scyther.Theory.Parser |
| lightColorGroups | Data.Color |
| lineLength | Text.PrettyPrint.Class, Text.Isar |
| list | Scyther.Theory.Parser |
| LNOT | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| LocalId | |
| 1 (Type/Class) | Scyther.Message, Scyther.Facts |
| 2 (Data Constructor) | Scyther.Message, Scyther.Facts |
| LONGLEFTARROW | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| LONGRIGHTARROW | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| lookupProtocol | Scyther.Theory |
| lookupRole | Scyther.Protocol, Scyther.Facts |
| lookupRoleStep | Scyther.Protocol, Scyther.Facts |
| loop | Control.Basics |
| LOR | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| LPAREN | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| lparen | Text.PrettyPrint.Class, Text.Isar |