# HG changeset patch
# User wenzelm
# Date 1176640375 -7200
# Node ID c1d3e82fc3957fd15fee83dacdc00f7834754625
# Parent  d4696154264f1f9efeea9870713ec952a8bc32cd
tuned;

diff -r d4696154264f -r c1d3e82fc395 src/HOLCF/ROOT.ML
--- 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";