# HG changeset patch
# User wenzelm
# Date 999296422 -7200
# Node ID 0b56d9c90dcf7e7ec6fb18e97a92ca93a4a9749d
# Parent  97305ee424a9495944d6af623869b8f8d033f605
final proofs := 0;

diff -r 97305ee424a9 -r 0b56d9c90dcf 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;