--- 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}}
--- a/doc-src/TutorialI/isabelle.sty Thu Nov 09 21:38:00 2000 +0100
+++ b/doc-src/TutorialI/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}}