equal
deleted
inserted
replaced
|
1 % |
|
2 \begin{isabellebody}% |
|
3 \def\isabellecontext{Base}% |
|
4 % |
|
5 \isadelimtheory |
|
6 % |
|
7 \endisadelimtheory |
|
8 % |
|
9 \isatagtheory |
|
10 \isacommand{theory}\isamarkupfalse% |
|
11 \ Base\isanewline |
|
12 \isakeyword{imports}\ Pure\isanewline |
|
13 \isakeyword{uses}\ {\isaliteral{22}{\isachardoublequoteopen}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}antiquote{\isaliteral{5F}{\isacharunderscore}}setup{\isaliteral{2E}{\isachardot}}ML{\isaliteral{22}{\isachardoublequoteclose}}\isanewline |
|
14 \isakeyword{begin}% |
|
15 \endisatagtheory |
|
16 {\isafoldtheory}% |
|
17 % |
|
18 \isadelimtheory |
|
19 \isanewline |
|
20 % |
|
21 \endisadelimtheory |
|
22 % |
|
23 \isadelimML |
|
24 \isanewline |
|
25 % |
|
26 \endisadelimML |
|
27 % |
|
28 \isatagML |
|
29 \isacommand{setup}\isamarkupfalse% |
|
30 \ {\isaliteral{7B2A}{\isacharverbatimopen}}\ Antiquote{\isaliteral{5F}{\isacharunderscore}}Setup{\isaliteral{2E}{\isachardot}}setup\ {\isaliteral{2A7D}{\isacharverbatimclose}}% |
|
31 \endisatagML |
|
32 {\isafoldML}% |
|
33 % |
|
34 \isadelimML |
|
35 \isanewline |
|
36 % |
|
37 \endisadelimML |
|
38 \isanewline |
|
39 \isacommand{declare}\isamarkupfalse% |
|
40 \ {\isaliteral{5B}{\isacharbrackleft}}{\isaliteral{5B}{\isacharbrackleft}}thy{\isaliteral{5F}{\isacharunderscore}}output{\isaliteral{5F}{\isacharunderscore}}source{\isaliteral{5D}{\isacharbrackright}}{\isaliteral{5D}{\isacharbrackright}}\isanewline |
|
41 % |
|
42 \isadelimtheory |
|
43 \isanewline |
|
44 % |
|
45 \endisadelimtheory |
|
46 % |
|
47 \isatagtheory |
|
48 \isacommand{end}\isamarkupfalse% |
|
49 % |
|
50 \endisatagtheory |
|
51 {\isafoldtheory}% |
|
52 % |
|
53 \isadelimtheory |
|
54 \isanewline |
|
55 % |
|
56 \endisadelimtheory |
|
57 \end{isabellebody}% |
|
58 %%% Local Variables: |
|
59 %%% mode: latex |
|
60 %%% TeX-master: "root" |
|
61 %%% End: |