Index - P
| PageMode | Twee.Pretty, Twee.Base |
| parens | Twee.Pretty, Twee.Base |
| partitionBy | Twee.Utils |
| Passive | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| passive_how | Twee |
| passive_rule1 | Twee |
| passive_rule2 | Twee |
| passive_score | Twee |
| pathToPosition | Twee.Term, Twee.Base |
| Permutative | Twee.Rule |
| pg_goal_hint | Twee.Proof |
| pg_name | Twee.Proof |
| pg_number | Twee.Proof |
| pg_proof | Twee.Proof |
| pg_witness_hint | Twee.Proof |
| Positions | Twee.CP |
| positions | Twee.CP |
| Positions2 | Twee.CP |
| positionsChurch | Twee.CP |
| PositionsOf | Twee.CP |
| positionsRule | Twee.CP |
| positionToPath | Twee.Term, Twee.Base |
| postfix | Twee.Pretty, Twee.Base |
| pPrint | Twee.Pretty, Twee.Base |
| pPrintEmpty | Twee.Pretty, Twee.Base |
| pPrintList | Twee.Pretty, Twee.Base |
| pPrintPrec | Twee.Pretty, Twee.Base |
| pPrintPresentation | Twee.Proof |
| pPrintSet | Twee.Pretty, Twee.Base |
| pPrintTerm | Twee.Pretty, Twee.Base |
| pPrintTuple | Twee.Pretty, Twee.Base |
| prefix | Twee.Pretty, Twee.Base |
| present | Twee.Proof |
| Presentation | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| pres_axioms | Twee.Proof |
| pres_goals | Twee.Proof |
| pres_lemmas | Twee.Proof |
| Pretty | Twee.Pretty, Twee.Base |
| PrettyLevel | |
| 1 (Data Constructor) | Twee.Pretty, Twee.Base |
| 2 (Type/Class) | Twee.Pretty, Twee.Base |
| prettyNormal | Twee.Pretty, Twee.Base |
| prettyParen | Twee.Pretty, Twee.Base |
| prettyPrint | Twee.Pretty, Twee.Base |
| prettyShow | Twee.Pretty, Twee.Base |
| PrettyTerm | Twee.Pretty, Twee.Base |
| profile | Twee.Profile |
| Proof | Twee.Proof |
| properSubterms | Twee.Term, Twee.Base |
| ProvedGoal | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| provedGoal | Twee.Proof |
| PStr | Twee.Pretty, Twee.Base |
| ptext | Twee.Pretty, Twee.Base |
| punctuate | Twee.Pretty, Twee.Base |