diff -r aeb5c72dd72a -r 3b3cc0cf533f doc-src/TutorialI/fp.tex
--- a/doc-src/TutorialI/fp.tex	Mon Mar 19 12:38:36 2001 +0100
+++ b/doc-src/TutorialI/fp.tex	Mon Mar 19 13:05:56 2001 +0100
@@ -328,7 +328,7 @@
 section as well, in particular in order to understand what happened if things
 do not simplify as expected.
 
-\subsubsection{What is Simplification}
+\subsection{What is Simplification}
 
 In its most basic form, simplification means repeated application of
 equations from left to right. For example, taking the rules for \isa{\at}