| changeset 14981 | e73f8140af78 |
| parent 14152 | 12f6f18e7afc |
| child 16353 | 94e565ded526 |
| 14980:267cc670317a | 14981:e73f8140af78 |
|---|---|
1 %% |
1 %% |
2 %% Author: Markus Wenzel, TU Muenchen |
2 %% Author: Markus Wenzel, TU Muenchen |
3 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
4 %% |
3 %% |
5 %% macros for Isabelle generated LaTeX output |
4 %% macros for Isabelle generated LaTeX output |
6 %% |
5 %% |
7 |
6 |
8 %%% Simple document preparation (based on theory token language and symbols) |
7 %%% Simple document preparation (based on theory token language and symbols) |