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