src/HOLCF/ROOT.ML
changeset 2278 d63ffafce255
parent 2275 dbce3dce821a
child 2282 90fb68d597f8
     1.1 --- a/src/HOLCF/ROOT.ML	Fri Nov 29 12:17:30 1996 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Fri Nov 29 12:22:22 1996 +0100
     1.3 @@ -11,6 +11,8 @@
     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;