doc-src/TutorialI/Ifexpr/document/Ifexpr.tex

--- a/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex	Mon Jun 26 00:23:17 2000 +0200
+++ b/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex	Mon Jun 26 11:21:49 2000 +0200
@@ -132,3 +132,7 @@
 normality of \isa{normif}:%
 \end{isamarkuptext}%
 \isacommand{lemma}~[simp]:~{"}{\isasymforall}t~e.~normal(normif~b~t~e)~=~(normal~t~{\isasymand}~normal~e){"}\end{isabelle}%
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "root"
+%%% End: