doc-src/TutorialI/fp.tex
 changeset 9458 c613cd06d5cf parent 8771 026f37a86ea7 child 9493 494f8cd34df7
--- 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