Index - I
| id | HOL.Conv |
| impName | HOL.Const |
| imports | HOL.OpenTheory.Package |
| Include | HOL.OpenTheory.Package |
| ind | |
| 1 (Function) | HOL.TypeOp |
| 2 (Function) | HOL.Type |
| indName | HOL.TypeOp |
| InfixOp | HOL.Print |
| Info | |
| 1 (Type/Class) | HOL.OpenTheory.Package |
| 2 (Data Constructor) | HOL.OpenTheory.Package |
| information | HOL.OpenTheory.Package |
| Informative | HOL.OpenTheory.Package |
| initialState | HOL.OpenTheory.Article |
| insertName | HOL.Const |
| Interpret | |
| 1 (Type/Class) | HOL.OpenTheory.Interpret |
| 2 (Data Constructor) | HOL.OpenTheory.Interpret |
| 3 (Data Constructor) | HOL.OpenTheory.Package |
| interpret | |
| 1 (Function) | HOL.OpenTheory.Interpret |
| 2 (Function) | HOL.OpenTheory.Package |
| Interpretation | |
| 1 (Type/Class) | HOL.OpenTheory.Package |
| 2 (Data Constructor) | HOL.OpenTheory.Package |
| interpretConst | HOL.OpenTheory.Interpret |
| interpretTypeOp | HOL.OpenTheory.Interpret |
| intersectName | HOL.Const |
| isAbs | |
| 1 (Function) | HOL.TermData |
| 2 (Function) | HOL.Term |
| isApp | |
| 1 (Function) | HOL.TermData |
| 2 (Function) | HOL.Term |
| isBinaryOp | |
| 1 (Function) | HOL.TypeData |
| 2 (Function) | HOL.Type |
| isBool | |
| 1 (Function) | HOL.Type |
| 2 (Function) | HOL.Term |
| 3 (Function) | HOL.TermAlpha |
| isConst | |
| 1 (Function) | HOL.TermData |
| 2 (Function) | HOL.Term |
| isEq | |
| 1 (Function) | HOL.Type |
| 2 (Function) | HOL.Term |
| isEqConst | HOL.Term |
| isFun | HOL.Type |
| isGivenConst | |
| 1 (Function) | HOL.TermData |
| 2 (Function) | HOL.Term |
| isGivenOp | |
| 1 (Function) | HOL.TypeData |
| 2 (Function) | HOL.Type |
| isGlobal | HOL.Name |
| isInd | HOL.Type |
| isNullaryOp | |
| 1 (Function) | HOL.TypeData |
| 2 (Function) | HOL.Type |
| isOp | |
| 1 (Function) | HOL.TypeData |
| 2 (Function) | HOL.Type |
| isPred | HOL.Type |
| isRefl | HOL.Term |
| isRel | HOL.Type |
| isSelect | |
| 1 (Function) | HOL.Type |
| 2 (Function) | HOL.Term |
| isSelectConst | HOL.Term |
| isSymbolChar | HOL.Print |
| isSymbolString | HOL.Print |
| isUnaryOp | |
| 1 (Function) | HOL.TypeData |
| 2 (Function) | HOL.Type |
| isUndef | |
| 1 (Function) | HOL.Const |
| 2 (Function) | HOL.TypeOp |
| isVar | |
| 1 (Function) | HOL.TypeData |
| 2 (Function) | HOL.Type |
| 3 (Function) | HOL.TermData |
| 4 (Function) | HOL.Term |