src/CTT/ROOT.ML
changeset 3929 3553fcfa2c7e
parent 3511 da4dd8b7ced4
child 4222 d7573d6d0513
--- a/src/CTT/ROOT.ML	Fri Oct 17 18:19:14 1997 +0200
+++ b/src/CTT/ROOT.ML	Fri Oct 17 19:07:56 1997 +0200
@@ -10,6 +10,8 @@
 val banner = "Constructive Type Theory";
 writeln banner;
 
+reset global_names;
+
 print_depth 1;  
 
 use_thy "CTT";