changeset 10543 | 8e4307d1207a |
parent 10542 | 92cd56dfc17e |
child 10544 | 71eb53f36878 |
1.1 --- a/doc-src/TutorialI/Trie/document/Option2.tex Wed Nov 29 18:42:40 2000 +0100 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,9 +0,0 @@ 1.4 -% 1.5 -\begin{isabellebody}% 1.6 -\def\isabellecontext{Option{\isadigit{2}}}% 1.7 -\isanewline 1.8 -\isacommand{datatype}\ {\isacharprime}a\ option\ {\isacharequal}\ None\ {\isacharbar}\ Some\ {\isacharprime}a\end{isabellebody}% 1.9 -%%% Local Variables: 1.10 -%%% mode: latex 1.11 -%%% TeX-master: "root" 1.12 -%%% End: