doc-src/TutorialI/Advanced/advanced.tex

--- a/doc-src/TutorialI/Advanced/advanced.tex	Tue Nov 07 18:38:24 2000 +0100
+++ b/doc-src/TutorialI/Advanced/advanced.tex	Wed Nov 08 14:38:04 2000 +0100
@@ -1,5 +1,4 @@
 \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