--- a/doc-src/TutorialI/isabelle.sty Mon May 08 10:52:28 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty Mon May 08 10:52:46 2000 +0200
@@ -8,16 +8,15 @@
% isabelle environments
-\newcommand{\isabelledefaultstyle}{\small\tt\slshape}
-\newcommand{\isabellestyle}{}
+\newcommand{\isabellestyle}{\small\tt\slshape}
\newdimen\isa@parindent\newdimen\isa@parskip
\newenvironment{isabelle}{%
\isa@parindent\parindent\parindent0pt%
\isa@parskip\parskip\parskip0pt%
-\isabelledefaultstyle\isabellestyle}{}
+\isabellestyle}{}
-\newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
+\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
\newenvironment{isabellequote}%
{\begin{quote}\begin{isabelle}\noindent}{\end{isabelle}\end{quote}}