src/Cube/ROOT.ML
changeset 3941 ea440c63d206
parent 3511 da4dd8b7ced4
child 4024 3c056eab237c
--- a/src/Cube/ROOT.ML	Mon Oct 20 10:53:42 1997 +0200
+++ b/src/Cube/ROOT.ML	Mon Oct 20 11:01:07 1997 +0200
@@ -9,6 +9,8 @@
 val banner = "Barendregt's Lambda-Cube";
 writeln banner;
 
+reset global_names;
+
 print_depth 1;  
 
 use_thy "Cube";