--- a/doc-src/AxClass/generated/isabellesym.sty Fri Aug 19 22:28:23 2005 +0200
+++ b/doc-src/AxClass/generated/isabellesym.sty Fri Aug 19 22:28:23 2005 +0200
@@ -3,7 +3,7 @@
%%
%% definitions of standard Isabelle symbols
%%
-%% $Id$
+%%
% symbol definitions