changeset 9921 | 7acefd99e748 |
parent 9767 | dc2ee9b2e065 |
child 10140 | ba9297b71897 |
--- a/doc-src/AxClass/generated/Product.tex Mon Sep 11 17:41:34 2000 +0200 +++ b/doc-src/AxClass/generated/Product.tex Mon Sep 11 17:54:22 2000 +0200 @@ -1,5 +1,6 @@ % \begin{isabellebody}% +\def\isabellecontext{Product}% % \isamarkupheader{Syntactic classes} \isacommand{theory}\ Product\ {\isacharequal}\ Main{\isacharcolon}%