changeset 9145 | 9f7b8de5bfaf |
parent 8771 | 026f37a86ea7 |
child 9458 | c613cd06d5cf |
--- a/doc-src/TutorialI/Recdef/document/simplification.tex Mon Jun 26 00:23:17 2000 +0200 +++ b/doc-src/TutorialI/Recdef/document/simplification.tex Mon Jun 26 11:21:49 2000 +0200 @@ -88,3 +88,7 @@ \end{isamarkuptext}% \isacommand{lemmas}~[simp~del]~=~gcd.simps\isanewline \end{isabelle}% +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "root" +%%% End: