Index - P
| parens | TPDB.Pretty |
| parseContents | TPDB.Xml |
| PathOrder | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| peArity | TPDB.CPF.Proof.Type |
| peek | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| peek_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| pePrecedence | TPDB.CPF.Proof.Type |
| peSymbol | TPDB.CPF.Proof.Type |
| PIsEmpty | TPDB.CPF.Proof.Type |
| Plus_Infinite | TPDB.CPF.Proof.Type |
| pmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| pokes | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Polynomial | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Polynomial_Coefficient | TPDB.CPF.Proof.Type |
| Polynomial_Variable | TPDB.CPF.Proof.Type |
| pos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Position | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| positions | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| PrecedenceEntry | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Pretty | TPDB.Pretty |
| pretty | TPDB.Pretty |
| prettyList | TPDB.Pretty |
| PrettyTerm | TPDB.Plain.Write |
| prettyTerm | TPDB.Plain.Write |
| Problem | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Product | TPDB.CPF.Proof.Type |
| Proof | TPDB.CPF.Proof.Type |
| proof | TPDB.CPF.Proof.Type |
| ProofOrigin | TPDB.CPF.Proof.Type |
| Property | TPDB.Data, TPDB.XTC |
| punctuate | TPDB.Pretty |