set global_names;

--- 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";