diff -r 9423817dee84 -r 1f93f5a27de6 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Wed Jan 10 00:15:33 2001 +0100
+++ b/doc-src/TutorialI/isabelle.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)
 %%