--- a/src/HOLCF/ROOT.ML Mon Oct 20 12:47:02 1997 +0200 +++ b/src/HOLCF/ROOT.ML Mon Oct 20 12:47:44 1997 +0200 @@ -10,6 +10,8 @@ val banner = "HOLCF"; writeln banner; +set global_names; + print_depth 1; use_thy "HOLCF";