Index - L
| 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 |
| lookupConstUnsafe | HOL.Theory |
| lookupThm | HOL.Theory |
| lookupTypeOp | HOL.Theory |
| lookupTypeOpUnsafe | HOL.Theory |
| ltName | HOL.Const |
| ltRealName | HOL.Const |