src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Thu Aug 29 16:15:11 2002 +0200
+++ b/src/HOL/Auth/ROOT.ML	Fri Aug 30 16:42:45 2002 +0200
@@ -7,6 +7,7 @@
 *)
 
 goals_limit := 1;
+set timing;
 
 (*Shared-key protocols*)
 time_use_thy "NS_Shared";