tuned;

--- a/src/HOLCF/ROOT.ML	Sun Apr 15 14:32:07 2007 +0200
+++ b/src/HOLCF/ROOT.ML	Sun Apr 15 14:32:55 2007 +0200
@@ -5,7 +5,4 @@
 HOLCF -- a semantic extension of HOL by the LCF logic.
 *)
 
-val banner = "HOLCF";
-writeln banner;
-
 use_thy "HOLCF";