Index - L
| label | Jukebox.Name |
| Lambda | Jukebox.TPTP.Lexer |
| LBrack | Jukebox.TPTP.Lexer |
| leaf | Jukebox.TPTP.Parse.Core |
| Lemma | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.Form |
| Let | Jukebox.TPTP.Lexer |
| LetTerm | Jukebox.TPTP.Lexer |
| lhs | Jukebox.Name |
| List | Jukebox.Form |
| Lit | |
| 1 (Type/Class) | Jukebox.Sat |
| 2 (Data Constructor) | Jukebox.Sat.Easy |
| lit | Jukebox.Sat.Easy |
| Lit3 | |
| 1 (Type/Class) | Jukebox.Sat.ThreeValued |
| 2 (Data Constructor) | Jukebox.Sat.ThreeValued |
| Literal | |
| 1 (Data Constructor) | Jukebox.Form |
| 2 (Type/Class) | Jukebox.Form |
| literal | |
| 1 (Function) | Jukebox.Tools.Clausify |
| 2 (Function) | Jukebox.TPTP.Parse.Core |
| 3 (Function) | Jukebox.Tools.AnalyseMonotonicity |
| localMin | Jukebox.Sat.Minimise |
| Location | |
| 1 (Type/Class) | Jukebox.TPTP.Parse.Core |
| 2 (Data Constructor) | Jukebox.TPTP.Parse.Core |
| lookupFunction | Jukebox.TPTP.Parse.Core |
| lookupType | Jukebox.TPTP.Parse.Core |
| LParen | Jukebox.TPTP.Lexer |