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 |