
diff -r 88cb1547d952 -r 4a212e635318 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Sun Jan 07 22:39:28 2001 +0100
+++ b/doc-src/TutorialI/isabelle.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)
 %%




