--- a/doc-src/AxClass/generated/NatClass.tex Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/AxClass/generated/NatClass.tex Sat Nov 04 18:54:22 2000 +0100
@@ -2,7 +2,8 @@
\begin{isabellebody}%
\def\isabellecontext{NatClass}%
%
-\isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}}
+\isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}%
+}
\isacommand{theory}\ NatClass\ {\isacharequal}\ FOL{\isacharcolon}%
\begin{isamarkuptext}%
\medskip\noindent Axiomatic type classes abstract over exactly one