# HG changeset patch
# User wenzelm
# Date 957775867 -7200
# Node ID ea36d70ff7d36018d22d20620ca1bb8b5b26c798
# Parent  b5c3aec694624ebb8030bcc03354b41eca06b2b0
removed \isabelledefaultstyle (use \isabellestyle instead);

diff -r b5c3aec69462 -r ea36d70ff7d3 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon May 08 10:49:27 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Mon May 08 10:51:07 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}}