land | HOL.Term |
LeftAssoc | HOL.Print |
leName | HOL.Const |
leRealName | HOL.Const |
lhs | HOL.Term |
LineNumber | HOL.OpenTheory.Article |
lineParser | HOL.Parse |
listGetInfo | HOL.OpenTheory.Package |
listMkAbs | HOL.Term |
listMkApp | HOL.Term |
listMkAppUnsafe | HOL.Term |
listMkFun | HOL.Type |
listNamespace | HOL.Name |
ListObject | HOL.OpenTheory.Article |
lookupConst | HOL.Theory |
lookupThm | HOL.Theory |
lookupTypeOp | HOL.Theory |
ltName | HOL.Const |
ltRealName | HOL.Const |