doc-src/TutorialI/Rules/ROOT.ML

--- a/doc-src/TutorialI/Rules/ROOT.ML	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/TutorialI/Rules/ROOT.ML	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-(* ID:         $Id$ *)
 use_thy "Basic";
 use_thy "Blast";
 use_thy "Force";