--- a/doc-src/TutorialI/isabellesym.sty Wed Jan 10 00:15:33 2001 +0100
+++ b/doc-src/TutorialI/isabellesym.sty Wed Jan 10 10:40:34 2001 +0100
@@ -1,5 +1,4 @@
%%
-%% $Id$
%% Author: Markus Wenzel, TU Muenchen
%% License: GPL (GNU GENERAL PUBLIC LICENSE)
%%