doc-src/TutorialI/Misc/document/arith3.tex

--- a/doc-src/TutorialI/Misc/document/arith3.tex	Mon Jun 26 00:23:17 2000 +0200
+++ b/doc-src/TutorialI/Misc/document/arith3.tex	Mon Jun 26 11:21:49 2000 +0200
@@ -1,3 +1,7 @@
 \begin{isabelle}%
 \isacommand{lemma}~{"}n*n~=~n~{\isasymLongrightarrow}~n=0~{\isasymor}~n=1{"}\isanewline
 \end{isabelle}%
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "root"
+%%% End: