Index
| axiom | SimpleTheoremProver |
| axioms | SimpleTheoremProver |
| findProof | SimpleTheoremProver |
| findProofIter | SimpleTheoremProver |
| function | SimpleTheoremProver |
| mergeProofs | SimpleTheoremProver |
| mkAxiom | SimpleTheoremProver |
| name | SimpleTheoremProver |
| result | SimpleTheoremProver |
| Rule | |
| 1 (Type/Class) | SimpleTheoremProver |
| 2 (Data Constructor) | SimpleTheoremProver |
| rulesThm | SimpleTheoremProver |
| rulesThmProver | SimpleTheoremProver |
| Theorem | |
| 1 (Type/Class) | SimpleTheoremProver |
| 2 (Data Constructor) | SimpleTheoremProver |
| TheoremProver | |
| 1 (Type/Class) | SimpleTheoremProver |
| 2 (Data Constructor) | SimpleTheoremProver |
| thmApplyRule | SimpleTheoremProver |
| thmApplyRules | SimpleTheoremProver |