doc-src/AxClass/generated/Product.tex

--- a/doc-src/AxClass/generated/Product.tex	Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/AxClass/generated/Product.tex	Sat Nov 04 18:54:22 2000 +0100
@@ -2,7 +2,8 @@
 \begin{isabellebody}%
 \def\isabellecontext{Product}%
 %
-\isamarkupheader{Syntactic classes}
+\isamarkupheader{Syntactic classes%
+}
 \isacommand{theory}\ Product\ {\isacharequal}\ Main{\isacharcolon}%
 \begin{isamarkuptext}%
 \medskip\noindent There is still a feature of Isabelle's type system