
diff -r eef9e422929a -r 7ef380745743 doc-src/AxClass/generated/NatClass.tex
--- 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




