hol-1.4: Higher order logic

Index - V

Var 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
VarCommandHOL.OpenTheory.Article
variantAvoidingHOL.Name
VarObjectHOL.OpenTheory.Article
varsHOL.TypeVar
varSubst 
1 (Function)HOL.TypeSubst
2 (Function)HOL.Subst
VarTermHOL.Data
VarTermCommandHOL.OpenTheory.Article
VarTypeHOL.Data
VarTypeCommandHOL.OpenTheory.Article
Version 
1 (Type/Class)HOL.OpenTheory.Article
2 (Type/Class)HOL.OpenTheory.Package
3 (Data Constructor)HOL.OpenTheory.Package
versionHOL.OpenTheory.Package
VersionCommandHOL.OpenTheory.Article
versionCommandHOL.OpenTheory.Article