lib/texinputs/isabelle.sty
changeset 17531 0bc8ae586a7c
parent 17215 8b969275a5d2
child 18860 9089cdb4c5fd
     1.1 --- a/lib/texinputs/isabelle.sty	Tue Sep 20 21:34:20 2005 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Tue Sep 20 21:39:00 2005 +0200
     1.3 @@ -1,9 +1,8 @@
     1.4  %%
     1.5 -%% Author: Markus Wenzel, TU Muenchen
     1.6 +%% $Id$
     1.7  %%
     1.8  %% macros for Isabelle generated LaTeX output
     1.9  %%
    1.10 -%% $Id$
    1.11  
    1.12  %%% Simple document preparation (based on theory token language and symbols)
    1.13