../ definitional.rstremove redundant sentence8 years ago elabReflection.rstadd documentation for elaboration reflection7 years ago example1.rstadd documentation for elaboration reflection7 years ago generatingData.rstadd documentation for elaboration reflection7 years ago index.rstadd documentation for elaboration reflection7 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 primative.rstadd documentation for elaboration reflection7 years ago propositional.rstbetter explanation of replace and rewrite8 years ago tactics.rstadd documentation for elaboration reflection7 years ago