src/HOL/UNITY/ROOT.ML
changeset 13785 e2fcd88be55d
parent 11193 851c90b23a9e
child 13790 8d7e9fce8c50
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Thu Jan 23 10:30:14 2003 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Fri Jan 24 14:06:49 2003 +0100
     1.3 @@ -7,8 +7,7 @@
     1.4  *)
     1.5  
     1.6  (*Basic meta-theory*)
     1.7 -time_use_thy "FP";
     1.8 -time_use_thy "WFair";
     1.9 +time_use_thy "UNITY_Main";
    1.10  
    1.11  (*Simple examples: no composition*)
    1.12  time_use_thy "Simple/Deadlock";