lib/texinputs/isabelle.sty

--- a/lib/texinputs/isabelle.sty	Tue Sep 20 21:34:20 2005 +0200
+++ b/lib/texinputs/isabelle.sty	Tue Sep 20 21:39:00 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% $Id$
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% $Id$
 
 %%% Simple document preparation (based on theory token language and symbols)