
diff -r eef9e422929a -r 7ef380745743 doc-src/AxClass/generated/Semigroups.tex
--- a/doc-src/AxClass/generated/Semigroups.tex	Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/AxClass/generated/Semigroups.tex	Sat Nov 04 18:54:22 2000 +0100
@@ -2,7 +2,8 @@
 \begin{isabellebody}%
 \def\isabellecontext{Semigroups}%
 %
-\isamarkupheader{Semigroups}
+\isamarkupheader{Semigroups%
+}
 \isacommand{theory}\ Semigroups\ {\isacharequal}\ Main{\isacharcolon}%
 \begin{isamarkuptext}%
 \medskip\noindent An axiomatic type class is simply a class of types




