diff -r 383b0a1837a9 -r aecb5bf6f76f doc-src/TutorialI/Advanced/advanced.tex
--- a/doc-src/TutorialI/Advanced/advanced.tex	Mon Oct 09 17:40:47 2000 +0200
+++ b/doc-src/TutorialI/Advanced/advanced.tex	Mon Oct 09 19:20:55 2000 +0200
@@ -1,5 +1,5 @@
-\chapter{Advanced Simplification, Recursion, and Induction}
-\markboth{}{CHAPTER 4: ADVANCED SIMPLIFICATION ...}
+\chapter{Advanced Simplification, Recursion and Induction}
+\markboth{}{CHAPTER 4: ADVANCED SIMPLIFICATION, RECURSION ...}
 
 Although we have already learned a lot about simplification, recursion and
 induction, there are some advanced proof techniques that we have not covered