src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Mar 31 15:57:10 2009 -0700
+++ b/src/Pure/ROOT.ML	Wed Apr 01 11:53:05 2009 +0200
@@ -1,7 +1,4 @@
-(*  Title:      Pure/ROOT.ML
-
-Pure Isabelle.
-*)
+(* Pure Isabelle *)
 
 structure Distribution =     (*filled-in by makedist*)
 struct