| changeset 17531 | 0bc8ae586a7c |
| parent 17215 | 8b969275a5d2 |
| child 18860 | 9089cdb4c5fd |
| 17530:25370ec2d44a | 17531:0bc8ae586a7c |
|---|---|
1 %% |
1 %% |
2 %% Author: Markus Wenzel, TU Muenchen |
2 %% $Id$ |
3 %% |
3 %% |
4 %% macros for Isabelle generated LaTeX output |
4 %% macros for Isabelle generated LaTeX output |
5 %% |
5 %% |
6 %% $Id$ |
|
7 |
6 |
8 %%% Simple document preparation (based on theory token language and symbols) |
7 %%% Simple document preparation (based on theory token language and symbols) |
9 |
8 |
10 % isabelle environments |
9 % isabelle environments |
11 |
10 |