changeset 9845 | 1206c7615a47 |
parent 9767 | dc2ee9b2e065 |
child 9921 | 7acefd99e748 |
--- a/doc-src/AxClass/generated/isabelle.sty Tue Sep 05 13:53:39 2000 +0200 +++ b/doc-src/AxClass/generated/isabelle.sty Tue Sep 05 18:43:05 2000 +0200 @@ -1,5 +1,7 @@ %% %% $Id$ +%% Author: Markus Wenzel, TU Muenchen +%% License: GPL (GNU GENERAL PUBLIC LICENSE) %% %% macros for Isabelle generated LaTeX output %%