equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Logic}% |
3 \def\isabellecontext{Logic}% |
4 \isamarkupfalse% |
|
5 % |
4 % |
6 \isadelimtheory |
5 \isadelimtheory |
7 % |
6 % |
8 \endisadelimtheory |
7 \endisadelimtheory |
9 % |
8 % |