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