src/HOL/UNITY/ROOT.ML
changeset 7513 879ae27f5e6f
parent 7240 a509730e424b
child 8128 3a5864b465e2
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Tue Sep 07 18:10:33 1999 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Wed Sep 08 15:37:31 1999 +0200
     1.3 @@ -27,6 +27,7 @@
     1.4  time_use_thy "Client";
     1.5  time_use_thy "Extend";
     1.6  time_use_thy "PPROD";
     1.7 +time_use_thy "TimerArray";
     1.8  time_use_thy "Follows";
     1.9  
    1.10  add_path "../Auth";	(*to find Public.thy*)