--- a/doc-src/TutorialI/Advanced/document/WFrec.tex Tue Feb 20 11:27:04 2001 +0100
+++ b/doc-src/TutorialI/Advanced/document/WFrec.tex Tue Feb 20 13:23:58 2001 +0100
@@ -4,7 +4,7 @@
%
\begin{isamarkuptext}%
\noindent
-So far, all recursive definitions where shown to terminate via measure
+So far, all recursive definitions were shown to terminate via measure
functions. Sometimes this can be quite inconvenient or even
impossible. Fortunately, \isacommand{recdef} supports much more
general definitions. For example, termination of Ackermann's function