src/HOL/UNITY/ROOT.ML
changeset 8251 9be357df93d4
parent 8128 3a5864b465e2
child 8314 463f63a9a7f2
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Wed Feb 16 15:04:12 2000 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Fri Feb 18 15:20:44 2000 +0100
     1.3 @@ -28,7 +28,9 @@
     1.4  time_use_thy "Extend";
     1.5  time_use_thy "PPROD";
     1.6  time_use_thy "TimerArray";
     1.7 +(**
     1.8  time_use_thy "Alloc";
     1.9 +**)
    1.10  
    1.11  add_path "../Auth";	(*to find Public.thy*)
    1.12  use_thy"NSP_Bad";