src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Wed Dec 03 09:53:58 2008 +0100
+++ b/src/HOL/ROOT.ML	Wed Dec 03 15:58:44 2008 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ROOT.ML
-    ID:         $Id$
  
 Classical Higher-order Logic -- batteries included.
 *)