diff -r da6788606f54 -r dc2ee9b2e065 doc-src/AxClass/generated/NatClass.tex
--- a/doc-src/AxClass/generated/NatClass.tex	Thu Aug 31 17:59:59 2000 +0200
+++ b/doc-src/AxClass/generated/NatClass.tex	Fri Sep 01 00:27:41 2000 +0200
@@ -1,4 +1,5 @@
-\begin{isabelle}%
+%
+\begin{isabellebody}%
 %
 \isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}}
 \isacommand{theory}\ NatClass\ {\isacharequal}\ FOL{\isacharcolon}%
@@ -55,7 +56,7 @@
  re-used with some trivial changes only (mostly adding some type
  constraints).%
 \end{isamarkuptext}%
-\isacommand{end}\end{isabelle}%
+\isacommand{end}\end{isabellebody}%
 %%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "root"