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 |