changeset 9845 | 1206c7615a47 |
parent 9767 | dc2ee9b2e065 |
child 9921 | 7acefd99e748 |
9844:8016321c7de1 | 9845:1206c7615a47 |
---|---|
1 %% |
1 %% |
2 %% $Id$ |
2 %% $Id$ |
3 %% Author: Markus Wenzel, TU Muenchen |
|
4 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
3 %% |
5 %% |
4 %% macros for Isabelle generated LaTeX output |
6 %% macros for Isabelle generated LaTeX output |
5 %% |
7 %% |
6 |
8 |
7 %%% Simple document preparation (based on theory token language) |
9 %%% Simple document preparation (based on theory token language) |