src/FOL/ROOT.ML

--- a/src/FOL/ROOT.ML	Mon Oct 20 12:47:44 1997 +0200
+++ b/src/FOL/ROOT.ML	Mon Oct 20 12:50:18 1997 +0200
@@ -11,6 +11,8 @@
 
 writeln banner;
 
+reset global_names;
+
 print_depth 1;  
 
 use "../Provers/simplifier.ML";