src/HOL/UNITY/ROOT.ML
changeset 8128 3a5864b465e2
parent 7513 879ae27f5e6f
child 8251 9be357df93d4
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Thu Jan 13 17:36:58 2000 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Fri Jan 14 12:17:53 2000 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  time_use_thy "Extend";
     1.5  time_use_thy "PPROD";
     1.6  time_use_thy "TimerArray";
     1.7 -time_use_thy "Follows";
     1.8 +time_use_thy "Alloc";
     1.9  
    1.10  add_path "../Auth";	(*to find Public.thy*)
    1.11  use_thy"NSP_Bad";