diff -r 65d18005d802 -r 9e888d60d3e5 doc-src/TutorialI/Misc/document/Tree.tex --- 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}%