src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Sep 01 00:20:06 2001 +0200
+++ b/src/Pure/ROOT.ML	Sat Sep 01 00:20:22 2001 +0200
@@ -94,3 +94,4 @@
 print_depth 8;
 ml_prompts "ML> " "ML# ";
 
+proofs := 0;