--- a/doc-src/TutorialI/isabellesym.sty Sun Jan 07 22:39:28 2001 +0100
+++ b/doc-src/TutorialI/isabellesym.sty Mon Jan 08 10:33:51 2001 +0100
@@ -1,4 +1,5 @@
%%
+%% $Id$
%% Author: Markus Wenzel, TU Muenchen
%% License: GPL (GNU GENERAL PUBLIC LICENSE)
%%