src/HOLCF/FOCUS/ROOT.ML

--- a/src/HOLCF/FOCUS/ROOT.ML	Sat Oct 17 01:05:59 2009 +0200
+++ b/src/HOLCF/FOCUS/ROOT.ML	Sat Oct 17 14:43:18 2009 +0200
@@ -1,9 +1,1 @@
-(*  Title:      HOLCF/FOCUS/ROOT.ML
-    ID:         $Id$
-    Author: 	David von Oheimb, TU Muenchen
-
-ROOT file for the FOCUS extension of HOLCF.
-See README.html for further information.
-*)
-
 use_thys ["Fstreams", "FOCUS", "Buffer_adm"];