doc-src/AxClass/Group/document/isabellesym.sty

--- a/doc-src/AxClass/Group/document/isabellesym.sty	Sun Aug 28 19:42:10 2005 +0200
+++ b/doc-src/AxClass/Group/document/isabellesym.sty	Sun Aug 28 19:42:19 2005 +0200
@@ -3,7 +3,7 @@
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% $Id$
+%% 
 
 % symbol definitions