
diff -r 20a70ef9c320 -r 9f7b8de5bfaf doc-src/TutorialI/Misc/document/arith2.tex
--- a/doc-src/TutorialI/Misc/document/arith2.tex	Mon Jun 26 00:23:17 2000 +0200
+++ b/doc-src/TutorialI/Misc/document/arith2.tex	Mon Jun 26 11:21:49 2000 +0200
@@ -2,3 +2,7 @@
 \isacommand{lemma}~{"}min~i~(max~j~(k*k))~=~max~(min~(k*k)~i)~(min~i~(j::nat)){"}\isanewline
 \isacommand{apply}(arith)\isacommand{.}\isanewline
 \end{isabelle}%
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "root"
+%%% End:




