src/Sequents/ROOT.ML

--- a/src/Sequents/ROOT.ML	Mon Oct 20 11:25:39 1997 +0200
+++ b/src/Sequents/ROOT.ML	Mon Oct 20 11:39:29 1997 +0200
@@ -9,6 +9,8 @@
 val banner = "Sequent Calculii";
 writeln banner;
 
+reset global_names;
+
 print_depth 1;  
 
 use_thy "Sequents";