# HG changeset patch
# User wenzelm
# Date 973721094 -3600
# Node ID b5a577a800bcf268d00ba17229150d84f2e8c070
# Parent  ceaab640734b68fdfe3221c96d3c6a53ef81d95b
tuned isabelle environment;

diff -r ceaab640734b -r b5a577a800bc lib/texinputs/isabelle.sty
--- 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}}