../ definitional.rstremove redundant sentence8 years ago index.rstadd a page about propositional proofs8 years ago inductive.rstFix reST errors.9 years ago interactive.rstMerge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecated11 years ago patterns.rstclass->interface change in rest of tutorial11 years ago pluscomm.rstChange Instance to implementation (#3404)10 years ago propositional.rstbetter explanation of replace and rewrite8 years ago