hol-1.4: Higher order logic
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
Z
All
Index - R
rand
1 (Function)
HOL.Term
2 (Function)
HOL.Rule
3 (Function)
HOL.Conv
randUnsafe
HOL.Rule
range
HOL.Type
rator
1 (Function)
HOL.Term
2 (Function)
HOL.Rule
3 (Function)
HOL.Conv
ratorUnsafe
HOL.Rule
readArticle
1 (Function)
HOL.OpenTheory.Article
2 (Function)
HOL.OpenTheory
readBlock
HOL.OpenTheory.Package
readBlocks
HOL.OpenTheory.Package
readInterpretation
HOL.OpenTheory.Package
readList
HOL.OpenTheory.Package
readPackage
HOL.OpenTheory.Package
readPackageFile
HOL.OpenTheory.Package
readPackages
HOL.OpenTheory
readVersion
HOL.OpenTheory.Package
realNamespace
HOL.Name
RefCommand
HOL.OpenTheory.Article
refl
HOL.Thm
ReflCommand
HOL.OpenTheory.Article
refState
HOL.OpenTheory.Article
regularCommands
HOL.OpenTheory.Article
RemoveCommand
HOL.OpenTheory.Article
removeState
HOL.OpenTheory.Article
Rename
1 (Type/Class)
HOL.OpenTheory.Interpret
2 (Data Constructor)
HOL.OpenTheory.Interpret
renameAvoiding
HOL.Var
renameBoundVar
HOL.Subst
renameFresh
HOL.Term
Renames
1 (Type/Class)
HOL.OpenTheory.Interpret
2 (Data Constructor)
HOL.OpenTheory.Interpret
renameSymbol
HOL.OpenTheory.Interpret
RepConstProv
HOL.Data
repeat
HOL.Conv
Requires
1 (Type/Class)
HOL.OpenTheory.Package
2 (Data Constructor)
HOL.OpenTheory.Package
requires
HOL.OpenTheory.Package
Result
HOL.Conv
rhs
HOL.Term
rhsUnsafe
HOL.Term
RightAssoc
HOL.Print