doc-src/Classes/Thy/ROOT.ML

--- a/doc-src/Classes/Thy/ROOT.ML	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/Classes/Thy/ROOT.ML	Mon May 02 22:31:46 2011 +0200
@@ -1,6 +1,2 @@
-
-(* $Id$ *)
-
 no_document use_thy "Setup";
-
 use_thy "Classes";