changeset 9924 | 3370f6aa3200 |
parent 9911 | 864c8faf3d9a |
child 9933 | 9feb1e0c4cb3 |
9923:fe13743ffc8b | 9924:3370f6aa3200 |
---|---|
1 % |
|
2 \begin{isabellebody}% |
|
3 \def\isabellecontext{simp}% |
|
4 \isanewline |
|
5 \isacommand{theory}\ simp\ {\isacharequal}\ Main{\isacharcolon}\isanewline |
|
6 \isanewline |
|
7 \isacommand{end}\isanewline |
|
8 \end{isabellebody}% |
|
9 %%% Local Variables: |
|
10 %%% mode: latex |
|
11 %%% TeX-master: "root" |
|
12 %%% End: |