lib/texinputs/isabelle.sty

--- a/lib/texinputs/isabelle.sty	Sun Jan 07 21:41:56 2001 +0100
+++ b/lib/texinputs/isabelle.sty	Sun Jan 07 21:45:14 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%