--- a/doc-src/TutorialI/Trie/document/Trie.tex Mon Jun 26 00:23:17 2000 +0200
+++ b/doc-src/TutorialI/Trie/document/Trie.tex Mon Jun 26 11:21:49 2000 +0200
@@ -124,3 +124,7 @@
proofs.%
\end{isamarkuptext}%
\end{isabelle}%
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "root"
+%%% End: