lib/texinputs/isabellesym.sty
changeset 9818 71de955e8fc9
parent 9726 78f9bcd9585e
child 9962 765208b5dd23
--- a/lib/texinputs/isabellesym.sty	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/texinputs/isabellesym.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)
 %%
 %% definitions of standard Isabelle symbols
 %%