tuned isabelle environment;

--- a/lib/texinputs/isabelle.sty	Wed Nov 08 17:46:24 2000 +0100
+++ b/lib/texinputs/isabelle.sty	Wed Nov 08 23:04:54 2000 +0100
@@ -34,8 +34,8 @@
 \isastyle}{}
 
 \newenvironment{isabelle}
-{\begin{isabellebody}\begin{trivlist}\item\relax}
-{\end{trivlist}\end{isabellebody}}
+{\begin{trivlist}\begin{isabellebody}\item\relax}
+{\end{isabellebody}\end{trivlist}}
 
 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}