doc-src/TutorialI/Trie/document/Option2.tex

--- a/doc-src/TutorialI/Trie/document/Option2.tex	Mon Sep 11 17:59:53 2000 +0200
+++ b/doc-src/TutorialI/Trie/document/Option2.tex	Mon Sep 11 18:00:47 2000 +0200
@@ -1,5 +1,6 @@
 %
 \begin{isabellebody}%
+\def\isabellecontext{Option2}%
 \isanewline
 \isacommand{datatype}\ {\isacharprime}a\ option\ {\isacharequal}\ None\ {\isacharbar}\ Some\ {\isacharprime}a\end{isabellebody}%
 %%% Local Variables: