diff -r da6788606f54 -r dc2ee9b2e065 doc-src/AxClass/generated/Semigroups.tex
--- a/doc-src/AxClass/generated/Semigroups.tex	Thu Aug 31 17:59:59 2000 +0200
+++ b/doc-src/AxClass/generated/Semigroups.tex	Fri Sep 01 00:27:41 2000 +0200
@@ -1,4 +1,5 @@
-\begin{isabelle}%
+%
+\begin{isabellebody}%
 %
 \isamarkupheader{Semigroups}
 \isacommand{theory}\ Semigroups\ {\isacharequal}\ Main{\isacharcolon}%
@@ -46,7 +47,7 @@
  represent semigroups in a sense, they are certainly not quite the
  same.%
 \end{isamarkuptext}%
-\isacommand{end}\end{isabelle}%
+\isacommand{end}\end{isabellebody}%
 %%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "root"