equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Nested{\isadigit{0}}}% |
3 \def\isabellecontext{Nested{\isadigit{0}}}% |
|
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 |
40 \isadelimtheory |
40 \isadelimtheory |
41 % |
41 % |
42 \endisadelimtheory |
42 \endisadelimtheory |
43 % |
43 % |
44 \isatagtheory |
44 \isatagtheory |
45 \isamarkupfalse% |
|
46 % |
45 % |
47 \endisatagtheory |
46 \endisatagtheory |
48 {\isafoldtheory}% |
47 {\isafoldtheory}% |
49 % |
48 % |
50 \isadelimtheory |
49 \isadelimtheory |