Index - V
| Var | |
| 1 (Type/Class) | HOL.Data |
| 2 (Data Constructor) | HOL.Data |
| VarCommand | HOL.OpenTheory.Article |
| variantAvoiding | HOL.Name |
| VarObject | HOL.OpenTheory.Article |
| vars | HOL.TypeVar |
| varSubst | |
| 1 (Function) | HOL.TypeSubst |
| 2 (Function) | HOL.Subst |
| VarTerm | HOL.Data |
| VarTermCommand | HOL.OpenTheory.Article |
| VarType | HOL.Data |
| VarTypeCommand | HOL.OpenTheory.Article |
| Version | |
| 1 (Type/Class) | HOL.OpenTheory.Article |
| 2 (Type/Class) | HOL.OpenTheory.Package |
| 3 (Data Constructor) | HOL.OpenTheory.Package |
| version | HOL.OpenTheory.Package |
| VersionCommand | HOL.OpenTheory.Article |
| versionCommand | HOL.OpenTheory.Article |