equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{appendix}% |
3 \def\isabellecontext{appendix}% |
|
4 \isamarkupfalse% |
4 % |
5 % |
5 \isadelimtheory |
6 \isadelimtheory |
6 % |
7 % |
7 \endisadelimtheory |
8 \endisadelimtheory |
8 % |
9 % |
9 \isatagtheory |
10 \isatagtheory |
10 \isamarkupfalse% |
|
11 % |
11 % |
12 \endisatagtheory |
12 \endisatagtheory |
13 {\isafoldtheory}% |
13 {\isafoldtheory}% |
14 % |
14 % |
15 \isadelimtheory |
15 \isadelimtheory |
51 \isadelimtheory |
51 \isadelimtheory |
52 % |
52 % |
53 \endisadelimtheory |
53 \endisadelimtheory |
54 % |
54 % |
55 \isatagtheory |
55 \isatagtheory |
56 \isamarkupfalse% |
|
57 % |
56 % |
58 \endisatagtheory |
57 \endisatagtheory |
59 {\isafoldtheory}% |
58 {\isafoldtheory}% |
60 % |
59 % |
61 \isadelimtheory |
60 \isadelimtheory |