hol-1.4: Higher order logic

Index - P

Package 
1 (Type/Class)HOL.OpenTheory.Package
2 (Data Constructor)HOL.OpenTheory.Package
packageHOL.OpenTheory.Package
packageFileHOL.OpenTheory.Package
pairNameHOL.Const
pairNamespaceHOL.Name
ParsableHOL.Parse
ParseIntegerHOL.Parse
parseIntegerHOL.Parse
parseKeyValueHOL.OpenTheory.Package
parserHOL.Parse
peekStateHOL.OpenTheory.Article
pop2ObjectHOL.OpenTheory.Article
pop2StateHOL.OpenTheory.Article
pop3ObjectHOL.OpenTheory.Article
pop3StateHOL.OpenTheory.Article
pop4ObjectHOL.OpenTheory.Article
pop5ObjectHOL.OpenTheory.Article
pop5StateHOL.OpenTheory.Article
PopCommandHOL.OpenTheory.Article
popObjectHOL.OpenTheory.Article
popStateHOL.OpenTheory.Article
powerNameHOL.Const
powerRealNameHOL.Const
ppInfixOpsHOL.Print
ppPrefixOpsHOL.Print
ppSymbolNameHOL.Print
PragmaCommandHOL.OpenTheory.Article
PrecHOL.Print
PrefixOpHOL.Print
primitives 
1 (Function)HOL.Const
2 (Function)HOL.TypeOp
PrintableHOL.Print
printKeyValueHOL.OpenTheory.Package
productNameHOL.TypeOp
properSubsetNameHOL.Const
prov 
1 (Function)HOL.Const
2 (Function)HOL.TypeOp
proveHypHOL.Rule
ProveHypCommandHOL.OpenTheory.Article
push2ObjectHOL.OpenTheory.Article
push2StateHOL.OpenTheory.Article
push3ObjectHOL.OpenTheory.Article
push4ObjectHOL.OpenTheory.Article
push5ObjectHOL.OpenTheory.Article
push5StateHOL.OpenTheory.Article
pushObjectHOL.OpenTheory.Article
pushStateHOL.OpenTheory.Article