| Name |
Description |
| AbstractProofStep |
|
| ProofFinal |
|
| ProofPrinter |
|
| ProofStepBwChGoal |
|
| ProofStepChainCancellation |
|
| ProofStepChainContrapositive |
|
| ProofStepChainDropped |
|
| ProofStepChainFromClause |
|
| ProofStepChainReduction |
|
| ProofStepClauseBinaryResolvent |
|
| ProofStepClauseClausifySentence |
|
| ProofStepClauseDemodulation |
|
| ProofStepClauseFactor |
|
| ProofStepClauseParamodulation |
|
| ProofStepFoChAlreadyAFact |
|
| ProofStepFoChAssertFact |
|
| ProofStepGoal |
|
| ProofStepPremise |
|
| ProofStepRenaming |
|