../ definitional.rstremove redundant sentence8 years ago index.rstretain old tactics documentation8 years ago inductive.rstFix reST errors.9 years ago interactive.rstfix formatting error which caused missing code block7 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