src/HOLCF/ROOT.ML
changeset 2033 639de962ded4
parent 1779 1155c06fa956
child 2275 dbce3dce821a
     1.1 --- a/src/HOLCF/ROOT.ML	Thu Sep 26 12:50:48 1996 +0200
     1.2 +++ b/src/HOLCF/ROOT.ML	Thu Sep 26 15:14:23 1996 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  (* start 8bit 1 *)
     1.6  val banner = 
     1.7 -	"HOLCF with sections axioms,ops,domain,generated and 8bit characters";
     1.8 +        "HOLCF with sections axioms,ops,domain,generated and 8bit characters";
     1.9  (* end 8bit 1 *)
    1.10  
    1.11  writeln banner;