src/HOL/UNITY/ROOT.ML
changeset 8334 7896bcbd8641
parent 8314 463f63a9a7f2
child 8987 718907f55f62
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Fri Mar 03 18:22:53 2000 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Fri Mar 03 18:26:19 2000 +0100
     1.3 @@ -25,10 +25,11 @@
     1.4  time_use_thy "Comp";
     1.5  (*Allocator example*)
     1.6  time_use_thy "Client";
     1.7 -time_use_thy "Extend";
     1.8 +time_use_thy "ELT";  (*obsolete*)
     1.9  time_use_thy "PPROD";
    1.10  time_use_thy "TimerArray";
    1.11  time_use_thy "Alloc";
    1.12 +time_use_thy "Reachability";
    1.13  
    1.14  add_path "../Auth";	(*to find Public.thy*)
    1.15  use_thy"NSP_Bad";