changeset 10171 | 59d6633835fa |
parent 9993 | c0f7fb6e538e |
child 10178 | aecb5bf6f76f |
--- a/doc-src/TutorialI/Advanced/advanced.tex Mon Oct 09 09:33:45 2000 +0200 +++ b/doc-src/TutorialI/Advanced/advanced.tex Mon Oct 09 10:18:21 2000 +0200 @@ -1,5 +1,5 @@ \chapter{Advanced Simplification, Recursion, and Induction} -\markboth{}{CHAPTER 4: ADVANCED} +\markboth{}{CHAPTER 4: ADVANCED SIMPLIFICATION ...} Although we have already learned a lot about simplification, recursion and induction, there are some advanced proof techniques that we have not covered