--- a/lib/texinputs/isabelle.sty Fri Apr 14 15:55:40 2000 +0200
+++ b/lib/texinputs/isabelle.sty Fri Apr 14 16:12:46 2000 +0200
@@ -6,7 +6,7 @@
%%% Simple document preparation (based on theory token language)
-% basic isabelle environment
+% isabelle environments
\newcommand{\isabelledefaultstyle}{\small\tt\slshape}
\newcommand{\isabellestyle}{}
@@ -19,6 +19,9 @@
\newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
+\newenvironment{isabellequote}%
+{\begin{quote}\begin{isabelle}\noindent}{\end{isabelle}\end{quote}}
+
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
\chardef\isabraceleft=`\{