src/HOLCF/ROOT.ML
changeset 2275 dbce3dce821a
parent 2033 639de962ded4
child 2278 d63ffafce255
     1.1 --- a/src/HOLCF/ROOT.ML	Thu Nov 28 15:56:04 1996 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Fri Nov 29 12:15:33 1996 +0100
     1.3 @@ -11,8 +11,6 @@
     1.4  init_thy_reader();
     1.5  
     1.6  (* start 8bit 1 *)
     1.7 -val banner = 
     1.8 -        "HOLCF with sections axioms,ops,domain,generated and 8bit characters";
     1.9  (* end 8bit 1 *)
    1.10  
    1.11  writeln banner;