changeset 17187 | 45bee2f6e61f |
parent 17181 | 5f42dd5e6570 |
17186:797433ca1ab3 | 17187:45bee2f6e61f |
---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Overloading{\isadigit{0}}}% |
3 \def\isabellecontext{Overloading{\isadigit{0}}}% |
4 \isamarkupfalse% |
|
5 % |
4 % |
6 \isadelimtheory |
5 \isadelimtheory |
7 % |
6 % |
8 \endisadelimtheory |
7 \endisadelimtheory |
9 % |
8 % |