changeset 14981 | e73f8140af78 |
parent 14708 | c0a65132d79a |
child 16064 | 7953879aa6cf |
1.1 --- a/lib/texinputs/isabelle.sty Sun Jun 20 09:30:12 2004 +0200 1.2 +++ b/lib/texinputs/isabelle.sty Mon Jun 21 10:25:57 2004 +0200 1.3 @@ -1,6 +1,5 @@ 1.4 %% 1.5 %% Author: Markus Wenzel, TU Muenchen 1.6 -%% License: GPL (GNU GENERAL PUBLIC LICENSE) 1.7 %% 1.8 %% macros for Isabelle generated LaTeX output 1.9 %%