Index - L
| Lambda | Jukebox.TPTP.Lexer |
| LBrack | Jukebox.TPTP.Lexer |
| leaf | Jukebox.TPTP.ClauseParser |
| leave | Jukebox.ProgressBar |
| Lemma | Jukebox.TPTP.Lexer |
| length | Jukebox.Seq |
| Let | Jukebox.TPTP.Lexer |
| LetTerm | Jukebox.TPTP.Lexer |
| Level | Jukebox.TPTP.Print |
| lhs | Jukebox.Name |
| List | |
| 1 (Type/Class) | Jukebox.Seq |
| 2 (Data Constructor) | 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.ClauseParser |
| 3 (Function) | Jukebox.Clausify |
| localMin | Jukebox.SatMin |
| lookup | |
| 1 (Function) | Jukebox.Map |
| 2 (Function) | Jukebox.NameMap |
| lookupFunction | Jukebox.TPTP.ClauseParser |
| lookup_ | Jukebox.NameMap |
| LParen | Jukebox.TPTP.Lexer |