basicSubst | |
1 (Function) | HOL.TypeSubst |
2 (Function) | HOL.Subst |
beta | |
1 (Function) | HOL.TypeVar |
2 (Function) | HOL.Type |
3 (Function) | HOL.Conv |
betaConv | HOL.Thm |
BetaConvCommand | HOL.OpenTheory.Article |
bit0Name | HOL.Const |
bit1Name | HOL.Const |
Block | |
1 (Type/Class) | HOL.OpenTheory.Package |
2 (Data Constructor) | HOL.OpenTheory.Package |
block | HOL.OpenTheory.Package |
Blocks | |
1 (Type/Class) | HOL.OpenTheory.Package |
2 (Data Constructor) | HOL.OpenTheory.Package |
bool | |
1 (Function) | HOL.TypeOp |
2 (Function) | HOL.Type |
boolName | HOL.TypeOp |
boolNamespace | HOL.Name |
bottomUp | HOL.Conv |