equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{prelim}% |
3 \def\isabellecontext{Prelim}% |
4 % |
4 % |
5 \isadelimtheory |
5 \isadelimtheory |
6 \isanewline |
|
7 \isanewline |
|
8 \isanewline |
|
9 % |
6 % |
10 \endisadelimtheory |
7 \endisadelimtheory |
11 % |
8 % |
12 \isatagtheory |
9 \isatagtheory |
13 \isacommand{theory}\isamarkupfalse% |
10 \isacommand{theory}\isamarkupfalse% |
14 \ prelim\ \isakeyword{imports}\ base\ \isakeyword{begin}% |
11 \ Prelim\isanewline |
|
12 \isakeyword{imports}\ Base\isanewline |
|
13 \isakeyword{begin}% |
15 \endisatagtheory |
14 \endisatagtheory |
16 {\isafoldtheory}% |
15 {\isafoldtheory}% |
17 % |
16 % |
18 \isadelimtheory |
17 \isadelimtheory |
19 % |
18 % |