--- a/doc-src/AxClass/generated/Group.tex Thu Aug 31 17:59:59 2000 +0200
+++ b/doc-src/AxClass/generated/Group.tex Fri Sep 01 00:27:41 2000 +0200
@@ -1,4 +1,5 @@
-\begin{isabelle}%
+%
+\begin{isabellebody}%
%
\isamarkupheader{Basic group theory}
\isacommand{theory}\ Group\ {\isacharequal}\ Main{\isacharcolon}%
@@ -293,7 +294,7 @@
some kind of ``functors'' --- i.e.\ mappings between abstract
theories.%
\end{isamarkuptext}%
-\isacommand{end}\end{isabelle}%
+\isacommand{end}\end{isabellebody}%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"