equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Axioms}% |
3 \def\isabellecontext{Axioms}% |
|
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 |
372 \isadelimtheory |
372 \isadelimtheory |
373 % |
373 % |
374 \endisadelimtheory |
374 \endisadelimtheory |
375 % |
375 % |
376 \isatagtheory |
376 \isatagtheory |
377 \isamarkupfalse% |
|
378 % |
377 % |
379 \endisatagtheory |
378 \endisatagtheory |
380 {\isafoldtheory}% |
379 {\isafoldtheory}% |
381 % |
380 % |
382 \isadelimtheory |
381 \isadelimtheory |