doc-src/AxClass/generated/Product.tex

--- a/doc-src/AxClass/generated/Product.tex	Mon Jun 26 00:23:17 2000 +0200
+++ b/doc-src/AxClass/generated/Product.tex	Mon Jun 26 11:21:49 2000 +0200
@@ -75,3 +75,7 @@
  operations'' or even ``names of functions''.%
 \end{isamarkuptext}%
 \isacommand{end}\end{isabelle}%
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "root"
+%%% End: