# HG changeset patch
# User wenzelm
# Date 955721566 -7200
# Node ID 61cafd91963c56b1776f8fa4b2897718b728065f
# Parent  05688a1a4f41a4663c489d43ff3bc5e6a24bfb56
\newenvironment{isabellequote};

diff -r 05688a1a4f41 -r 61cafd91963c lib/texinputs/isabelle.sty
--- 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=`\{