equal
deleted
inserted
replaced
24 customized constructors like \isa{Error} and \isa{Infinity}, |
24 customized constructors like \isa{Error} and \isa{Infinity}, |
25 but it is often simpler to use \isa{option}. For an application see |
25 but it is often simpler to use \isa{option}. For an application see |
26 \S\ref{sec:Trie}.% |
26 \S\ref{sec:Trie}.% |
27 \end{isamarkuptext}% |
27 \end{isamarkuptext}% |
28 \isamarkuptrue% |
28 \isamarkuptrue% |
29 \isanewline |
|
30 \isamarkupfalse% |
29 \isamarkupfalse% |
31 \end{isabellebody}% |
30 \end{isabellebody}% |
32 %%% Local Variables: |
31 %%% Local Variables: |
33 %%% mode: latex |
32 %%% mode: latex |
34 %%% TeX-master: "root" |
33 %%% TeX-master: "root" |