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 - P
Package
1 (Type/Class)
HOL.OpenTheory.Package
2 (Data Constructor)
HOL.OpenTheory.Package
package
HOL.OpenTheory.Package
packageFile
HOL.OpenTheory.Package
pairName
HOL.Const
pairNamespace
HOL.Name
Parsable
HOL.Parse
ParseInteger
HOL.Parse
parseInteger
HOL.Parse
parseKeyValue
HOL.OpenTheory.Package
parser
HOL.Parse
peekState
HOL.OpenTheory.Article
pop2Object
HOL.OpenTheory.Article
pop2State
HOL.OpenTheory.Article
pop3Object
HOL.OpenTheory.Article
pop3State
HOL.OpenTheory.Article
pop4Object
HOL.OpenTheory.Article
pop5Object
HOL.OpenTheory.Article
pop5State
HOL.OpenTheory.Article
PopCommand
HOL.OpenTheory.Article
popObject
HOL.OpenTheory.Article
popState
HOL.OpenTheory.Article
powerName
HOL.Const
powerRealName
HOL.Const
ppInfixOps
HOL.Print
ppPrefixOps
HOL.Print
ppSymbolName
HOL.Print
PragmaCommand
HOL.OpenTheory.Article
Prec
HOL.Print
PrefixOp
HOL.Print
primitives
1 (Function)
HOL.Const
2 (Function)
HOL.TypeOp
Printable
HOL.Print
printKeyValue
HOL.OpenTheory.Package
productName
HOL.TypeOp
properSubsetName
HOL.Const
prov
1 (Function)
HOL.Const
2 (Function)
HOL.TypeOp
proveHyp
HOL.Rule
ProveHypCommand
HOL.OpenTheory.Article
push2Object
HOL.OpenTheory.Article
push2State
HOL.OpenTheory.Article
push3Object
HOL.OpenTheory.Article
push4Object
HOL.OpenTheory.Article
push5Object
HOL.OpenTheory.Article
push5State
HOL.OpenTheory.Article
pushObject
HOL.OpenTheory.Article
pushState
HOL.OpenTheory.Article