lib/texinputs/isabelle.sty
changeset 10822 d72dac8e6ef5
parent 10586 b3f386ec0fd2
child 10949 98cdeb6beb3b
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Jan 07 21:41:56 2001 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Jan 07 21:45:14 2001 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  %%
     1.5 -%% $Id$
     1.6  %% Author: Markus Wenzel, TU Muenchen
     1.7  %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  %%