| author | hoelzl |
| Tue, 29 Mar 2011 14:27:42 +0200 | |
| changeset 42148 | d596e7bb251f |
| parent 40406 | 313a24b66a8d |
| child 43564 | 9864182c6bad |
| permissions | -rw-r--r-- |
| 30296 | 1 |
% |
2 |
\begin{isabellebody}%
|
|
3 |
\def\isabellecontext{Base}%
|
|
4 |
% |
|
5 |
\isadelimtheory |
|
6 |
% |
|
7 |
\endisadelimtheory |
|
8 |
% |
|
9 |
\isatagtheory |
|
10 |
\isacommand{theory}\isamarkupfalse%
|
|
11 |
\ Base\isanewline |
|
|
39885
6a3f7941c3a0
cumulative update of generated files (since bf164c153d10);
wenzelm
parents:
30296
diff
changeset
|
12 |
\isakeyword{imports}\ Main\isanewline
|
| 40406 | 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
|
| 40110 | 14 |
\isakeyword{begin}\isanewline
|
| 30296 | 15 |
\isanewline |
16 |
\isacommand{end}\isamarkupfalse%
|
|
17 |
% |
|
18 |
\endisatagtheory |
|
19 |
{\isafoldtheory}%
|
|
20 |
% |
|
21 |
\isadelimtheory |
|
22 |
\isanewline |
|
23 |
% |
|
24 |
\endisadelimtheory |
|
25 |
\end{isabellebody}%
|
|
26 |
%%% Local Variables: |
|
27 |
%%% mode: latex |
|
28 |
%%% TeX-master: "root" |
|
29 |
%%% End: |