src/HOL/UNITY/ROOT.ML
changeset 10782 ddb433987557
parent 10265 4e004b548049
child 11193 851c90b23a9e
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Thu Jan 04 19:41:13 2001 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Fri Jan 05 10:15:48 2001 +0100
     1.3 @@ -21,6 +21,11 @@
     1.4  time_use_thy "Comp";
     1.5  time_use_thy "Reachability";
     1.6  
     1.7 +(*Universal properties examples*)
     1.8 +time_use_thy "Counter";
     1.9 +time_use_thy "Counterc";
    1.10 +time_use_thy "Priority";
    1.11 +
    1.12  (*Allocator example*)
    1.13  time_use_thy "PPROD";
    1.14  time_use_thy "TimerArray";