diff -r 12f45010ecb5 -r f2ffa2d97533 doc-src/AxClass/generated/isabelle.sty
--- a/doc-src/AxClass/generated/isabelle.sty	Wed Jan 10 20:19:56 2001 +0100
+++ b/doc-src/AxClass/generated/isabelle.sty	Wed Jan 10 20:20:10 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%