../ definitional.rstremove redundant sentence8 years ago index.rstretain old tactics documentation8 years ago inductive.rstFix reST errors.9 years ago interactive.rstsmall correction8 years ago interactiveOld.rstretain old tactics documentation8 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