# HG changeset patch
# User paulson
# Date 853752465 -3600
# Node ID 02ccf78ad0a388e9c91ad04f0ab5147631327703
# Parent  e40ca839758d94c690382e5f0edd64e4e119eba3
Now requests runtimes of all theories

diff -r e40ca839758d -r 02ccf78ad0a3 src/HOL/Auth/ROOT.ML
--- a/src/HOL/Auth/ROOT.ML	Mon Jan 20 10:20:58 1997 +0100
+++ b/src/HOL/Auth/ROOT.ML	Mon Jan 20 10:27:45 1997 +0100
@@ -13,16 +13,16 @@
 goals_limit := 1;
 
 (*Shared-key protocols*)
-use_thy "NS_Shared";
-use_thy "OtwayRees";
-use_thy "OtwayRees_AN";
-use_thy "OtwayRees_Bad";
-use_thy "WooLam";
-use_thy "Recur";
-use_thy "Yahalom";
-use_thy "Yahalom2";
+time_use_thy "NS_Shared";
+time_use_thy "OtwayRees";
+time_use_thy "OtwayRees_AN";
+time_use_thy "OtwayRees_Bad";
+time_use_thy "WooLam";
+time_use_thy "Recur";
+time_use_thy "Yahalom";
+time_use_thy "Yahalom2";
 
 (*Public-key protocols*)
-use_thy "NS_Public_Bad";
-use_thy "NS_Public";
+time_use_thy "NS_Public_Bad";
+time_use_thy "NS_Public";