new UNITY examples by Sidi Ehmety
authorpaulson
Fri Jan 05 10:19:32 2001 +0100 (2001-01-05)
changeset 10787f42353afd6d3
parent 10786 04ee73606993
child 10788 ea48dd8b0232
new UNITY examples by Sidi Ehmety
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Jan 05 10:19:14 2001 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jan 05 10:19:32 2001 +0100
     1.3 @@ -320,10 +320,11 @@
     1.4  
     1.5  HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz
     1.6  
     1.7 -$(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/Alloc.ML \
     1.8 -  UNITY/Alloc.thy UNITY/AllocBase.ML UNITY/AllocBase.thy \
     1.9 +$(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \
    1.10 +  UNITY/Alloc.ML UNITY/Alloc.thy UNITY/AllocBase.ML UNITY/AllocBase.thy \
    1.11    UNITY/Channel.ML UNITY/Channel.thy UNITY/Client.ML UNITY/Client.thy \
    1.12    UNITY/Common.ML UNITY/Common.thy UNITY/Comp.ML UNITY/Comp.thy \
    1.13 +  UNITY/Counter.ML UNITY/Counter.thy UNITY/Counterc.ML UNITY/Counterc.thy \
    1.14    UNITY/Deadlock.ML UNITY/Deadlock.thy UNITY/Detects.ML \
    1.15    UNITY/Detects.thy UNITY/ELT.ML UNITY/ELT.thy UNITY/Extend.ML \
    1.16    UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \
    1.17 @@ -331,8 +332,11 @@
    1.18    UNITY/Guar.ML UNITY/Guar.thy UNITY/Handshake.ML UNITY/Handshake.thy \
    1.19    UNITY/Lift.ML UNITY/Lift.thy UNITY/Lift_prog.ML UNITY/Lift_prog.thy \
    1.20    UNITY/ListOrder.thy UNITY/Mutex.ML UNITY/Mutex.thy UNITY/NSP_Bad.ML \
    1.21 -  UNITY/NSP_Bad.thy UNITY/Network.ML UNITY/Network.thy UNITY/PPROD.ML \
    1.22 -  UNITY/PPROD.thy UNITY/Project.ML UNITY/Project.thy UNITY/ROOT.ML \
    1.23 +  UNITY/NSP_Bad.thy UNITY/Network.ML UNITY/Network.thy  \
    1.24 +  UNITY/PPROD.ML UNITY/PPROD.thy \
    1.25 +  UNITY/PriorityAux.ML UNITY/PriorityAux.thy \
    1.26 +  UNITY/Priority.ML UNITY/Priority.thy \
    1.27 +  UNITY/Project.ML UNITY/Project.thy \
    1.28    UNITY/Reach.ML UNITY/Reach.thy UNITY/Reachability.ML \
    1.29    UNITY/Reachability.thy UNITY/Rename.ML UNITY/Rename.thy \
    1.30    UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/TimerArray.ML \