changeset 11214 | 3b3cc0cf533f |
parent 11213 | aeb5c72dd72a |
child 11215 | b44ad7e4c4d2 |
--- 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}