Index - B
| 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 |
| betaSimp | HOL.Conv |
| 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 |