--- a/doc-src/TutorialI/Misc/document/Tree.tex Fri Jan 05 18:32:33 2001 +0100
+++ b/doc-src/TutorialI/Misc/document/Tree.tex Fri Jan 05 18:32:57 2001 +0100
@@ -10,7 +10,7 @@
\begin{isamarkuptext}%
\noindent
and a function \isa{mirror} that mirrors a binary tree
-by swapping subtrees (recursively). Prove%
+by swapping subtrees recursively. Prove%
\end{isamarkuptext}%
\isacommand{lemma}\ mirror{\isacharunderscore}mirror{\isacharcolon}\ {\isachardoublequote}mirror{\isacharparenleft}mirror\ t{\isacharparenright}\ {\isacharequal}\ t{\isachardoublequote}%
\begin{isamarkuptext}%