--- a/src/HOL/UNITY/ROOT.ML Thu Jan 23 10:30:14 2003 +0100
+++ b/src/HOL/UNITY/ROOT.ML Fri Jan 24 14:06:49 2003 +0100
@@ -7,8 +7,7 @@
*)
(*Basic meta-theory*)
-time_use_thy "FP";
-time_use_thy "WFair";
+time_use_thy "UNITY_Main";
(*Simple examples: no composition*)
time_use_thy "Simple/Deadlock";