atp-0.1.0.0: Interface to automated theorem provers

Index - P

ParamodulationATP.FOL, ATP
ParsingErrorATP.Error, ATP
parsingErrorATP.Error, ATP
PartialATP.Error, ATP
PartialT 
1 (Type/Class)ATP.Error, ATP
2 (Data Constructor)ATP.Error, ATP
PositiveATP.FOL, ATP
pprintATP.Pretty.FOL, ATP
Predicate 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP
PredicateSymbol 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP
PrettyATP.Pretty.FOL, ATP
prettyATP.Pretty.FOL, ATP
prettyListATP.Pretty.FOL, ATP
ProofATP.FOL, ATP
ProofErrorATP.Error, ATP
proofErrorATP.Error, ATP
Proposition 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP
PropositionalATP.FOL, ATP
proveATP.Prove, ATP
Prover 
1 (Type/Class)ATP.Prover, ATP
2 (Data Constructor)ATP.Prover, ATP
proverATP.Prove, ATP
proverArgumentsATP.Prover, ATP
proverOutputATP.Prover, ATP
proveUsingATP.Prove, ATP
proveWithATP.Prove, ATP
ProvingOptions 
1 (Type/Class)ATP.Prove, ATP
2 (Data Constructor)ATP.Prove, ATP