diff -r bfab4d4b7516 -r 026f37a86ea7 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Sun Apr 23 11:41:45 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Tue Apr 25 08:09:10 2000 +0200
@@ -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=`\{