1.1 --- a/doc-src/TutorialI/fp.tex	Mon Oct 01 13:39:17 2001 +0200
     1.2 +++ b/doc-src/TutorialI/fp.tex	Mon Oct 01 14:42:47 2001 +0200
     1.3 @@ -104,7 +104,7 @@
     1.4    \isa{rev(rev xs) = xs} is started, Isabelle prints the additional output
     1.5  \par\noindent
     1.6  \begin{isabelle}%
     1.7 -Variables:\isanewline
     1.8 +variables:\isanewline
     1.9  ~~xs~::~'a~list
    1.10  \end{isabelle}%
    1.11  \par\noindent
    1.12 @@ -113,7 +113,7 @@
    1.13  made a typo as in \isa{rev(re xs) = xs}, the response
    1.14  \par\noindent
    1.15  \begin{isabelle}%
    1.16 -Variables:\isanewline
    1.17 +variables:\isanewline
    1.18  ~~re~::~'a~list~{\isasymRightarrow}~'a~list\isanewline
    1.19  ~~xs~::~'a~list%
    1.20  \end{isabelle}%