src/HOLCF/IMP/ROOT.ML

--- a/src/HOLCF/IMP/ROOT.ML	Mon Oct 20 12:47:44 1997 +0200
+++ b/src/HOLCF/IMP/ROOT.ML	Mon Oct 20 12:50:18 1997 +0200
@@ -4,6 +4,8 @@
     Copyright   1997  TU Muenchen
 *)
 
+reset global_names;
+
 (*Load theories from ../meta_theory without generating HTML files
   (has already been done by HOL/IMP/ROOT.ML)*)
 val old_make_html = !make_html;