Index - P
| parse | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Parseable | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| parser | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| parserEmbedded | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| pattern | Logic.Judge.Formula.Substitution |
| patternContinue | Logic.Judge.Formula.Substitution |
| Plain | Logic.Judge.Writer |
| plainprint | Logic.Judge.Writer |
| PointedList | |
| 1 (Data Constructor) | Logic.Judge.PointedList |
| 2 (Type/Class) | Logic.Judge.PointedList |
| positions | Logic.Judge.PointedList |
| Possible | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Predicate | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| prefix | Logic.Judge.PointedList |
| pretty | Logic.Judge.Writer.Plain |
| prettyEmbedded | Logic.Judge.Writer.Plain |
| prettyprint | Logic.Judge.Writer |
| prettyRecursive | Logic.Judge.Writer.Plain |
| previous | Logic.Judge.PointedList |
| Primitive | Logic.Judge.Prover.Tableau |
| PrimitiveDynamicTerms | Logic.Judge.Prover.Tableau |
| PrimitiveStaticTerms | Logic.Judge.Prover.Tableau |
| Printable | Logic.Judge.Writer.Plain |
| Processed | Logic.Judge.Prover.Tableau |
| productions | Logic.Judge.Prover.Tableau |
| ProofChecker | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| ProofConstant | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| ProofVariable | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Proposition | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |