equal
deleted
inserted
replaced
|
1 % |
|
2 \begin{isabellebody}% |
|
3 \def\isabellecontext{base}% |
|
4 % |
|
5 \isadelimtheory |
|
6 \isanewline |
|
7 \isanewline |
|
8 \isanewline |
|
9 % |
|
10 \endisadelimtheory |
|
11 % |
|
12 \isatagtheory |
|
13 \isacommand{theory}\isamarkupfalse% |
|
14 \ base\isanewline |
|
15 \isakeyword{imports}\ CPure\isanewline |
|
16 \isakeyword{uses}\ {\isachardoublequoteopen}setup{\isachardot}ML{\isachardoublequoteclose}\isanewline |
|
17 \isakeyword{begin}\isanewline |
|
18 \isanewline |
|
19 \isacommand{end}\isamarkupfalse% |
|
20 % |
|
21 \endisatagtheory |
|
22 {\isafoldtheory}% |
|
23 % |
|
24 \isadelimtheory |
|
25 \isanewline |
|
26 % |
|
27 \endisadelimtheory |
|
28 \end{isabellebody}% |
|
29 %%% Local Variables: |
|
30 %%% mode: latex |
|
31 %%% TeX-master: "root" |
|
32 %%% End: |