src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Dec 03 21:00:39 2008 -0800
+++ b/src/Pure/ROOT.ML	Thu Dec 04 14:43:33 2008 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ROOT.ML
-    ID:         $Id$
 
 Pure Isabelle.
 *)