src/HOL/ex/ROOT.ML
changeset 14462 e6550f190fe9
parent 14459 0a8619367a61
child 14482 82774ac788ae
     1.1 --- a/src/HOL/ex/ROOT.ML	Thu Mar 11 03:53:43 2004 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Thu Mar 11 11:24:54 2004 +0100
     1.3 @@ -40,4 +40,4 @@
     1.4  time_use_thy "SVC_Oracle";
     1.5  if_svc_enabled time_use_thy "svc_test";
     1.6  
     1.7 -time_use_thy "Refute_Examples.thy";
     1.8 +time_use_thy "Refute_Examples";