changeset 16064 | 7953879aa6cf |
parent 14981 | e73f8140af78 |
child 16558 | e97188c6bd71 |
16063:7dd4eb2c8055 | 16064:7953879aa6cf |
---|---|
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 |