--- 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";