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 |