changeset 30240 | 5b25fee0362c |
parent 28788 | ff9d8a8932e4 |
child 40406 | 313a24b66a8d |
30239:179ff9cb160b | 30240:5b25fee0362c |
---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{HOLCF{\isacharunderscore}Specific}% |
3 \def\isabellecontext{HOLCF{\isacharunderscore}Specific}% |
4 % |
4 % |
5 \isadelimtheory |
5 \isadelimtheory |
6 \isanewline |
|
7 \isanewline |
|
8 % |
6 % |
9 \endisadelimtheory |
7 \endisadelimtheory |
10 % |
8 % |
11 \isatagtheory |
9 \isatagtheory |
12 \isacommand{theory}\isamarkupfalse% |
10 \isacommand{theory}\isamarkupfalse% |