../ definitional.rstMerge pull request #4743 from RichieAHB/patch-27 years ago index.rstretain old tactics documentation8 years ago inductive.rstFix reST errors.9 years ago interactive.rstfix some documentation markup warnings7 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