--- 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"