--- a/src/HOL/ex/ROOT.ML Thu Mar 11 03:53:43 2004 +0100
+++ b/src/HOL/ex/ROOT.ML Thu Mar 11 11:24:54 2004 +0100
@@ -40,4 +40,4 @@
time_use_thy "SVC_Oracle";
if_svc_enabled time_use_thy "svc_test";
-time_use_thy "Refute_Examples.thy";
+time_use_thy "Refute_Examples";