| P | Data.Logic.ATP.Prop, Data.Logic.ATP |
| p24 | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| p45 | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| p45fm | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| PageMode | Data.Logic.ATP |
| pApp | Data.Logic.ATP.Apply, Data.Logic.ATP |
| pAppPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| parens | Data.Logic.ATP |
| parseFOL | Data.Logic.ATP.Parser, Data.Logic.ATP |
| parseFOL' | Data.Logic.ATP.ParserTests |
| parseFOLTerm | Data.Logic.ATP.Parser, Data.Logic.ATP |
| parseLit | Data.Logic.ATP.Parser, Data.Logic.ATP |
| parsePL | Data.Logic.ATP.Parser, Data.Logic.ATP |
| Path | Data.Logic.ATP |
| path | Data.Logic.ATP |
| performTest | Data.Logic.ATP |
| pf | Data.Logic.ATP.Parser, Data.Logic.ATP |
| PFormula | Data.Logic.ATP.Prop, Data.Logic.ATP |
| pholds | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| pname | Data.Logic.ATP.Prop, Data.Logic.ATP |
| pnf | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| positive | Data.Logic.ATP.Lit, Data.Logic.ATP |
| pPrint | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| pPrintList | Data.Logic.ATP |
| pPrintPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| prawitz | Data.Logic.ATP.Tableaux, Data.Logic.ATP |
| Precedence | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| precedence | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| precedenceEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
| precedenceLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| precedencePropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| precedenceQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| precedenceTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
| Predicate | Data.Logic.ATP.Apply, Data.Logic.ATP |
| predicate_infix_symbols | Data.Logic.ATP.Parser, Data.Logic.ATP |
| PredOf | Data.Logic.ATP.Apply, Data.Logic.ATP, Data.Logic.ATP |
| prefix | Data.Logic.ATP.Term, Data.Logic.ATP |
| presolution | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| Pretty | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| prettyApply | Data.Logic.ATP.Apply, Data.Logic.ATP |
| prettyBool | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| prettyEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
| prettyFoldable | Data.Logic.ATP.Lib, Data.Logic.ATP |
| prettyFunctionApply | Data.Logic.ATP.Term, Data.Logic.ATP |
| PrettyLevel | |
| 1 (Type/Class) | Data.Logic.ATP |
| 2 (Data Constructor) | Data.Logic.ATP |
| prettyLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| prettyNormal | Data.Logic.ATP |
| prettyParen | Data.Logic.ATP |
| prettyPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| prettyQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| prettyShow | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| prettySkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| prettyTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
| prime | Data.Logic.ATP.PropExamples, Data.Logic.ATP |
| Prolog | Data.Logic.ATP.Prolog, Data.Logic.ATP |
| PrologRule | Data.Logic.ATP.Prolog, Data.Logic.ATP |
| Prop | Data.Logic.ATP.Prop, Data.Logic.ATP |
| propexprparser | Data.Logic.ATP.Parser, Data.Logic.ATP |
| propparser | Data.Logic.ATP.Parser, Data.Logic.ATP |
| propterm | Data.Logic.ATP.Parser, Data.Logic.ATP |
| provesOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| psimplify | Data.Logic.ATP.Prop, Data.Logic.ATP |
| psimplify1 | Data.Logic.ATP.Prop, Data.Logic.ATP |
| PStr | Data.Logic.ATP |
| psubst | Data.Logic.ATP.Prop, Data.Logic.ATP |
| ptext | Data.Logic.ATP |
| punctuate | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| purecnf | Data.Logic.ATP.Prop, Data.Logic.ATP |
| purednf | Data.Logic.ATP.Prop, Data.Logic.ATP |
| PutText | |
| 1 (Type/Class) | Data.Logic.ATP |
| 2 (Data Constructor) | Data.Logic.ATP |
| putTextToHandle | Data.Logic.ATP |
| putTextToShowS | Data.Logic.ATP |