Index - P
| pairMap | HaskHOL.Core.Lib, HaskHOL.Core |
| pairMapM | HaskHOL.Core.Lib, HaskHOL.Core |
| parseAsBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| parseAsInfix | HaskHOL.Core.Parser, HaskHOL.Core |
| parseAsPrefix | HaskHOL.Core.Parser, HaskHOL.Core |
| parseAsTyBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| parsesAsBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| parsesAsTyBinder | HaskHOL.Core.Parser, HaskHOL.Core |
| partition | HaskHOL.Core.Lib, HaskHOL.Core |
| partitionEithers | HaskHOL.Core.Lib, HaskHOL.Core |
| PData | HaskHOL.Core.Ext, HaskHOL.Core |
| Postfix | HaskHOL.Core.Lib, HaskHOL.Core |
| pow10 | HaskHOL.Core.Lib, HaskHOL.Core |
| pow2 | HaskHOL.Core.Lib, HaskHOL.Core |
| ppTerm | HaskHOL.Core.Printer, HaskHOL.Core |
| ppThm | HaskHOL.Core.Printer, HaskHOL.Core |
| ppType | HaskHOL.Core.Printer, HaskHOL.Core |
| Prefix | HaskHOL.Core.Lib, HaskHOL.Core |
| prefixes | HaskHOL.Core.Parser, HaskHOL.Core |
| PreTerm | HaskHOL.Core.Parser, HaskHOL.Core |
| PreType | HaskHOL.Core.Parser, HaskHOL.Core |
| primABS | HaskHOL.Core.Kernel, HaskHOL.Core |
| primASSUME | HaskHOL.Core.Kernel, HaskHOL.Core |
| primBETA | HaskHOL.Core.Kernel, HaskHOL.Core |
| primDEDUCT_ANTISYM_RULE | HaskHOL.Core.Kernel, HaskHOL.Core |
| primEQ_MP | HaskHOL.Core.Kernel, HaskHOL.Core |
| primINST | HaskHOL.Core.Kernel, HaskHOL.Core |
| primINST_TYPE | HaskHOL.Core.Kernel, HaskHOL.Core |
| primINST_TYPE_FULL | HaskHOL.Core.Kernel, HaskHOL.Core |
| primMkEq | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| primMK_COMB | HaskHOL.Core.Kernel, HaskHOL.Core |
| primREFL | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTRANS | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYABS | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYAPP | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYAPP2 | HaskHOL.Core.Kernel, HaskHOL.Core |
| primTYBETA | HaskHOL.Core.Kernel, HaskHOL.Core |
| printDebug | HaskHOL.Core.State, HaskHOL.Core |
| printDebugLn | HaskHOL.Core.State, HaskHOL.Core |
| printHOL | HaskHOL.Core.Printer, HaskHOL.Core |
| prioritizeOverload | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| Proof | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| protect | HaskHOL.Core.Ext, HaskHOL.Core |
| Protected | HaskHOL.Core.Ext, HaskHOL.Core |
| proveCompileTime | HaskHOL.Core.Ext, HaskHOL.Core |
| proveCompileTimeMany | HaskHOL.Core.Ext, HaskHOL.Core |
| PTerm | HaskHOL.Core.Ext, HaskHOL.Core |
| PThm | HaskHOL.Core.Ext, HaskHOL.Core |
| PType | HaskHOL.Core.Ext, HaskHOL.Core |
| pure | HaskHOL.Core.Lib, HaskHOL.Core |
| putExt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| putStrHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| putStrLnHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |