--- 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