| changeset 30172 | afdf7808cfd0 |
| parent 30048 | a06894e9b6e3 |
| child 30242 | aea5d7fa7ef5 |
| 30171:5989863ffafc | 30172:afdf7808cfd0 |
|---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{Outer{\isacharunderscore}Syntax}% |
3 \def\isabellecontext{Outer{\isacharunderscore}Syntax}% |
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% |