Index - L
| Lambda | Jukebox.TPTP.Lexer |
| LBrack | Jukebox.TPTP.Lexer |
| leaf | Jukebox.TPTP.Parse.Core |
| Lemma | Jukebox.TPTP.Lexer |
| Let | Jukebox.TPTP.Lexer |
| LetTerm | Jukebox.TPTP.Lexer |
| lhs | Jukebox.Name |
| List | Jukebox.Form |
| Lit | |
| 1 (Type/Class) | Jukebox.Sat |
| 2 (Data Constructor) | Jukebox.HighSat |
| lit | Jukebox.HighSat |
| Lit3 | |
| 1 (Type/Class) | Jukebox.Sat3 |
| 2 (Data Constructor) | Jukebox.Sat3 |
| Literal | |
| 1 (Data Constructor) | Jukebox.Form |
| 2 (Type/Class) | Jukebox.Form |
| literal | |
| 1 (Function) | Jukebox.Monotonox.Monotonicity |
| 2 (Function) | Jukebox.TPTP.Parse.Core |
| 3 (Function) | Jukebox.Clausify |
| localMin | Jukebox.SatMin |
| 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 |