tuned;
authorwenzelm
Sun Apr 15 14:32:55 2007 +0200 (2007-04-15)
changeset 22707c1d3e82fc395
parent 22706 d4696154264f
child 22708 fff918feff45
tuned;
src/HOLCF/ROOT.ML
     1.1 --- a/src/HOLCF/ROOT.ML	Sun Apr 15 14:32:07 2007 +0200
     1.2 +++ b/src/HOLCF/ROOT.ML	Sun Apr 15 14:32:55 2007 +0200
     1.3 @@ -5,7 +5,4 @@
     1.4  HOLCF -- a semantic extension of HOL by the LCF logic.
     1.5  *)
     1.6  
     1.7 -val banner = "HOLCF";
     1.8 -writeln banner;
     1.9 -
    1.10  use_thy "HOLCF";