--- a/doc-src/AxClass/Group/document/Product.tex Mon Aug 29 10:28:17 2005 +0200
+++ b/doc-src/AxClass/Group/document/Product.tex Mon Aug 29 11:44:23 2005 +0200
@@ -1,6 +1,7 @@
%
\begin{isabellebody}%
\def\isabellecontext{Product}%
+\isamarkupfalse%
%
\isamarkupheader{Syntactic classes%
}