final proofs := 0;
authorwenzelm
Sat Sep 01 00:20:22 2001 +0200 (2001-09-01)
changeset 115450b56d9c90dcf
parent 11544 97305ee424a9
child 11546 2b3f02227c35
final proofs := 0;
src/Pure/ROOT.ML
     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;