src/HOL/UNITY/ROOT.ML

--- a/src/HOL/UNITY/ROOT.ML	Fri Mar 03 18:22:53 2000 +0100
+++ b/src/HOL/UNITY/ROOT.ML	Fri Mar 03 18:26:19 2000 +0100
@@ -25,10 +25,11 @@
 time_use_thy "Comp";
 (*Allocator example*)
 time_use_thy "Client";
-time_use_thy "Extend";
+time_use_thy "ELT";  (*obsolete*)
 time_use_thy "PPROD";
 time_use_thy "TimerArray";
 time_use_thy "Alloc";
+time_use_thy "Reachability";
 
 add_path "../Auth";	(*to find Public.thy*)
 use_thy"NSP_Bad";