src/FOL/ROOT.ML

--- a/src/FOL/ROOT.ML	Mon Jun 20 22:13:55 2005 +0200
+++ b/src/FOL/ROOT.ML	Mon Jun 20 22:13:56 2005 +0200
@@ -8,8 +8,6 @@
 
 writeln banner;
 
-print_depth 1;  
-
 use "~~/src/Provers/splitter.ML";
 use "~~/src/Provers/ind.ML";
 use "~~/src/Provers/hypsubst.ML";
@@ -21,5 +19,3 @@
 use "~~/src/Provers/quantifier1.ML";
 
 use_thy "FOL";
-
-print_depth 8;