src/LCF/ROOT.ML

 *)
 
 val banner = "Logic for Computable Functions (in FOL)";
 writeln banner;
 
+reset global_names;
+
 print_depth 1;
 use_thy "LCF";
 use"simpdata.ML";
 use"pair.ML";
 use"fix.ML";