diff -r ea440c63d206 -r 1f1c1f524d19 src/FOLP/ROOT.ML
--- a/src/FOLP/ROOT.ML	Mon Oct 20 11:01:07 1997 +0200
+++ b/src/FOLP/ROOT.ML	Mon Oct 20 11:06:01 1997 +0200
@@ -12,6 +12,8 @@
 
 writeln banner;
 
+reset global_names;
+
 print_depth 1;
 
 use_thy "IFOLP";