hol-1.4: Higher order logic

Index - R

rand 
1 (Function)HOL.Term
2 (Function)HOL.Rule
3 (Function)HOL.Conv
randUnsafeHOL.Rule
rangeHOL.Type
rator 
1 (Function)HOL.Term
2 (Function)HOL.Rule
3 (Function)HOL.Conv
ratorUnsafeHOL.Rule
readArticle 
1 (Function)HOL.OpenTheory.Article
2 (Function)HOL.OpenTheory
readBlockHOL.OpenTheory.Package
readBlocksHOL.OpenTheory.Package
readInterpretationHOL.OpenTheory.Package
readListHOL.OpenTheory.Package
readPackageHOL.OpenTheory.Package
readPackageFileHOL.OpenTheory.Package
readPackagesHOL.OpenTheory
readVersionHOL.OpenTheory.Package
realNamespaceHOL.Name
RefCommandHOL.OpenTheory.Article
reflHOL.Thm
ReflCommandHOL.OpenTheory.Article
refStateHOL.OpenTheory.Article
regularCommandsHOL.OpenTheory.Article
RemoveCommandHOL.OpenTheory.Article
removeStateHOL.OpenTheory.Article
Rename 
1 (Type/Class)HOL.OpenTheory.Interpret
2 (Data Constructor)HOL.OpenTheory.Interpret
renameAvoidingHOL.Var
renameBoundVarHOL.Subst
renameFreshHOL.Term
Renames 
1 (Type/Class)HOL.OpenTheory.Interpret
2 (Data Constructor)HOL.OpenTheory.Interpret
renameSymbolHOL.OpenTheory.Interpret
RepConstProvHOL.Data
repeatHOL.Conv
Requires 
1 (Type/Class)HOL.OpenTheory.Package
2 (Data Constructor)HOL.OpenTheory.Package
requiresHOL.OpenTheory.Package
ResultHOL.Conv
rhsHOL.Term
rhsUnsafeHOL.Term
RightAssocHOL.Print