diff -r 4fd0ce4a38bc -r 17491b8c7732 doc-src/AxClass/generated/isabelle.sty
--- a/doc-src/AxClass/generated/isabelle.sty	Thu Nov 09 21:38:00 2000 +0100
+++ b/doc-src/AxClass/generated/isabelle.sty	Thu Nov 09 21:38:30 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}}