changeset 9145 | 9f7b8de5bfaf |
parent 8907 | 813fabceec00 |
child 9331 | 3da45f19730e |
--- 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: