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.TypeOp |
2 (Function) | HOL.Const |
isVar | |
1 (Function) | HOL.TypeData |
2 (Function) | HOL.Type |
3 (Function) | HOL.TermData |
4 (Function) | HOL.Term |