1.1 --- a/lib/texinputs/isabelle.sty	Sun Sep 03 20:00:34 2000 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Sep 03 20:01:27 2000 +0200
     1.3 @@ -1,5 +1,7 @@
     1.4  %%
     1.5  %% $Id$
     1.6 +%% Author: Markus Wenzel, TU Muenchen
     1.7 +%% License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  %%
     1.9  %% macros for Isabelle generated LaTeX output
    1.10  %%