diff -r a5f53d9d2b60 -r f8537d69f514 doc-src/TutorialI/Misc/document/Tree2.tex
--- a/doc-src/TutorialI/Misc/document/Tree2.tex	Thu May 29 13:27:13 2008 +0200
+++ b/doc-src/TutorialI/Misc/document/Tree2.tex	Thu May 29 22:45:33 2008 +0200
@@ -20,13 +20,12 @@
 \isa{flatten} from trees to lists. The straightforward version of
 \isa{flatten} is based on \isa{{\isacharat}} and is thus, like \isa{rev},
 quadratic. A linear time version of \isa{flatten} again reqires an extra
-argument, the accumulator:%
+argument, the accumulator. Define%
 \end{isamarkuptext}%
 \isamarkuptrue%
-\isacommand{consts}\isamarkupfalse%
-\ flatten{\isadigit{2}}\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequoteopen}{\isacharprime}a\ tree\ {\isasymRightarrow}\ {\isacharprime}a\ list\ {\isasymRightarrow}\ {\isacharprime}a\ list{\isachardoublequoteclose}%
+flatten{\isadigit{2}}\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequoteopen}{\isacharprime}a\ tree\ {\isasymRightarrow}\ {\isacharprime}a\ list\ {\isasymRightarrow}\ {\isacharprime}a\ list{\isachardoublequoteclose}%
 \begin{isamarkuptext}%
-\noindent Define \isa{flatten{\isadigit{2}}} and prove%
+\noindent and prove%
 \end{isamarkuptext}%
 \isamarkuptrue%
 %