--- 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)
%%