src/HOL/Auth/NS_Public.ML
changeset 4449 df30e75f670f
parent 4422 21238c9d363e
child 4470 af3239def3d4
--- a/src/HOL/Auth/NS_Public.ML	Fri Dec 19 10:27:23 1997 +0100
+++ b/src/HOL/Auth/NS_Public.ML	Fri Dec 19 10:28:33 1997 +0100
@@ -9,7 +9,7 @@
 
 open NS_Public;
 
-proof_timing:=true;
+set proof_timing;
 HOL_quantifiers := false;
 
 AddIffs [Spy_in_bad];