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