src/Sequents/ROOT.ML

--- a/src/Sequents/ROOT.ML	Tue Jul 28 17:03:12 1998 +0200
+++ b/src/Sequents/ROOT.ML	Tue Jul 28 17:05:34 1998 +0200
@@ -9,8 +9,6 @@
 val banner = "Sequent Calculii";
 writeln banner;
 
-reset global_names;
-
 print_depth 1;  
 
 use_thy "Sequents";