1.1 --- a/doc-src/TutorialI/isabelle.sty	Mon May 08 10:52:28 2000 +0200
     1.2 +++ b/doc-src/TutorialI/isabelle.sty	Mon May 08 10:52:46 2000 +0200
     1.3 @@ -8,16 +8,15 @@
     1.4  
     1.5  % isabelle environments
     1.6  
     1.7 -\newcommand{\isabelledefaultstyle}{\small\tt\slshape}
     1.8 -\newcommand{\isabellestyle}{}
     1.9 +\newcommand{\isabellestyle}{\small\tt\slshape}
    1.10  
    1.11  \newdimen\isa@parindent\newdimen\isa@parskip
    1.12  \newenvironment{isabelle}{%
    1.13  \isa@parindent\parindent\parindent0pt%
    1.14  \isa@parskip\parskip\parskip0pt%
    1.15 -\isabelledefaultstyle\isabellestyle}{}
    1.16 +\isabellestyle}{}
    1.17  
    1.18 -\newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
    1.19 +\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
    1.20  
    1.21  \newenvironment{isabellequote}%
    1.22  {\begin{quote}\begin{isabelle}\noindent}{\end{isabelle}\end{quote}}