# HG changeset patch
# User wenzelm
# Date 978903568 -3600
# Node ID 88cb1547d952bc1a75c1d5d285ed247ffc6d4faf
# Parent  d72dac8e6ef51e7d02d580d8290f4466bd24fc63
updated;

diff -r d72dac8e6ef5 -r 88cb1547d952 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Sun Jan 07 21:45:14 2001 +0100
+++ b/doc-src/TutorialI/isabelle.sty	Sun Jan 07 22:39:28 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
diff -r d72dac8e6ef5 -r 88cb1547d952 doc-src/TutorialI/isabellesym.sty
--- a/doc-src/TutorialI/isabellesym.sty	Sun Jan 07 21:45:14 2001 +0100
+++ b/doc-src/TutorialI/isabellesym.sty	Sun Jan 07 22:39:28 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%