diff -r 2798d2f71ec2 -r ae32be343647 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Wed Mar 15 18:47:28 2000 +0100
+++ b/lib/texinputs/isabelle.sty	Wed Mar 15 18:50:14 2000 +0100
@@ -8,8 +8,11 @@
 
 % basic environment
 
-\newcommand{\isabellesimplestyle}{}
-\newenvironment{isabellesimple}{\small\tt\slshape\isabellesimplestyle\mbox{}}{}
+\newcommand{\isabellestyle}{}
+\newenvironment{isabelle}{%
+\newdimen\outerparindent\outerparindent=\parindent\parindent=0pt%
+\newdimen\outerparskip\outerparskip=\parskip\parskip=0.5ex%
+\small\tt\slshape\isabellestyle\mbox{}}{}
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
 
 \chardef\isabraceleft=`\{
@@ -26,7 +29,8 @@
 \newcommand{\isabeginblock}{\isakeyword{\{}}
 \newcommand{\isaendblock}{\isakeyword{\}}}
 
-\newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
+\newcommand{\isapar}[1]{%
+{\parindent=\outerparindent\parskip=\outerparskip\par\medskip #1}\par\smallskip}
 \newcommand{\isamarkupheader}[1]{#1}
 
 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}