changeset 10822 | d72dac8e6ef5 |
parent 10586 | b3f386ec0fd2 |
child 10949 | 98cdeb6beb3b |
10821:dcb75538f542 | 10822:d72dac8e6ef5 |
---|---|
1 %% |
1 %% |
2 %% $Id$ |
|
3 %% Author: Markus Wenzel, TU Muenchen |
2 %% Author: Markus Wenzel, TU Muenchen |
4 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
3 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 %% |
4 %% |
6 %% macros for Isabelle generated LaTeX output |
5 %% macros for Isabelle generated LaTeX output |
7 %% |
6 %% |