| changeset 17132 | 153fe83804c9 |
| parent 17131 | 13c7d9c8557d |
| 17131:13c7d9c8557d | 17132:153fe83804c9 |
|---|---|
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 |
8 %%% Simple document preparation (based on theory token language and symbols) |
8 %%% Simple document preparation (based on theory token language and symbols) |
9 |
9 |
10 % isabelle environments |
10 % isabelle environments |
11 |
11 |