changeset 16353 | 94e565ded526 |
parent 15909 | 5f0c8a3f0226 |
child 17125 | e6a82d1a1829 |
16352:d7f9978e5752 | 16353:94e565ded526 |
---|---|
1 %% |
1 %% |
2 %% Author: Markus Wenzel, TU Muenchen |
2 %% Author: Markus Wenzel, TU Muenchen |
3 %% |
3 %% |
4 %% macros for Isabelle generated LaTeX output |
4 %% macros for Isabelle generated LaTeX output |
5 %% |
5 %% |
6 %% $Id$ |
|
6 |
7 |
7 %%% Simple document preparation (based on theory token language and symbols) |
8 %%% Simple document preparation (based on theory token language and symbols) |
8 |
9 |
9 % isabelle environments |
10 % isabelle environments |
10 |
11 |