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 |
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 (Data Constructor) | Data.Logic.ATP |
2 (Type/Class) | 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 (Data Constructor) | Data.Logic.ATP |
2 (Type/Class) | Data.Logic.ATP |
putTextToHandle | Data.Logic.ATP |
putTextToShowS | Data.Logic.ATP |