src/HOL/UNITY/ROOT.ML
changeset 13790 8d7e9fce8c50
parent 13785 e2fcd88be55d
child 13821 0fd39aa77095
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Tue Jan 28 22:53:39 2003 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Wed Jan 29 11:02:08 2003 +0100
     1.3 @@ -24,7 +24,6 @@
     1.4    time_use_thy"Simple/NSP_Bad";
     1.5  
     1.6  (*Example of composition*)
     1.7 -time_use_thy "Comp";
     1.8  time_use_thy "Comp/Handshake";
     1.9  
    1.10  (*Universal properties examples*)
    1.11 @@ -32,10 +31,9 @@
    1.12  time_use_thy "Comp/Counterc";
    1.13  time_use_thy "Comp/Priority";
    1.14  
    1.15 -(*Allocator example*)
    1.16 -time_use_thy "PPROD";
    1.17  time_use_thy "Comp/TimerArray";
    1.18  
    1.19 +(*Allocator example*)
    1.20  time_use_thy "Comp/Alloc";
    1.21  time_use_thy "Comp/AllocImpl";
    1.22  time_use_thy "Comp/Client";