src/Pure/ROOT.ML
changeset 11545 0b56d9c90dcf
parent 11511 ec89f5cff390
child 11759 56c80e542e44
     1.1 --- a/src/Pure/ROOT.ML	Sat Sep 01 00:20:06 2001 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Sep 01 00:20:22 2001 +0200
     1.3 @@ -94,3 +94,4 @@
     1.4  print_depth 8;
     1.5  ml_prompts "ML> " "ML# ";
     1.6  
     1.7 +proofs := 0;