
diff -r 966974a7a5b3 -r c613cd06d5cf doc-src/TutorialI/fp.tex
--- a/doc-src/TutorialI/fp.tex	Fri Jul 28 13:04:59 2000 +0200
+++ b/doc-src/TutorialI/fp.tex	Fri Jul 28 16:02:51 2000 +0200
@@ -472,6 +472,8 @@
 \subsection{Using the simplifier}
 \label{sec:SimpFeatures}
 
+\subsubsection{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}
 and applying them to the term \isa{[0,1] \at\ []} results in a sequence of




