Index - P
| p1 | Term.Builtin.Convenience |
| p2 | Term.Builtin.Convenience |
| p3 | Term.Builtin.Convenience |
| p4 | Term.Builtin.Convenience |
| p5 | Term.Builtin.Convenience |
| p6 | Term.Builtin.Convenience |
| p7 | Term.Builtin.Convenience |
| p8 | Term.Builtin.Convenience |
| p9 | Term.Builtin.Convenience |
| pair | Term.UnitTests |
| pairFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| pairMaudeSig | Term.Maude.Signature, Term.Unification |
| pairRules | Term.Builtin.Rules |
| parseMatchReply | Term.Maude.Parser |
| parseReduceReply | Term.Maude.Parser |
| parseUnifyReply | Term.Maude.Parser |
| pk | Term.Builtin.Convenience |
| pkSym | Term.Builtin.Signature, Term.Builtin.Rules |
| pmultSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| pmultSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Position | Term.Positions |
| positionsNonVar | Term.Positions |
| ppLSubst | Term.UnitTests |
| ppLTerm | Term.UnitTests |
| ppMaude | Term.Maude.Parser |
| ppTheory | Term.Maude.Parser |
| prettyDisjLNSubstsVFresh | Term.Substitution, Term.Unification |
| prettyLNSubst | Term.Substitution, Term.Unification |
| prettyLNTerm | Term.LTerm, Term.Substitution, Term.Unification |
| prettyLSubstVFresh | Term.Substitution, Term.Unification |
| prettyLVar | Term.LTerm, Term.Substitution, Term.Unification |
| prettyMaudeSig | Term.Maude.Signature |
| prettyNodeId | Term.LTerm, Term.Substitution, Term.Unification |
| prettyNTerm | Term.LTerm, Term.Substitution, Term.Unification |
| prettyStRule | Term.SubtermRule |
| prettySubst | Term.Substitution, Term.Unification |
| prettySubstVFresh | Term.Substitution, Term.Unification |
| prettyTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Privacy | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Private | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| propMatchSound | Term.UnitTests |
| propSubtermReplace | Term.UnitTests |
| propUnifySound | Term.UnitTests |
| Public | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| PubName | Term.LTerm, Term.Substitution, Term.Unification |
| pubTerm | Term.LTerm, Term.Substitution, Term.Unification |
| pubVar | Term.Builtin.Convenience |
| px0 | Term.Builtin.Convenience |
| px1 | Term.Builtin.Convenience |
| px10 | Term.Builtin.Convenience |
| px2 | Term.Builtin.Convenience |
| px3 | Term.Builtin.Convenience |
| px4 | Term.Builtin.Convenience |
| px5 | Term.Builtin.Convenience |
| px6 | Term.Builtin.Convenience |
| px7 | Term.Builtin.Convenience |
| px8 | Term.Builtin.Convenience |
| px9 | Term.Builtin.Convenience |