# HG changeset patch # User paulson # Date 978686372 -3600 # Node ID f42353afd6d333d2b0bacbc930eff55f45c80384 # Parent 04ee73606993a71383673e1c75edabc3dfa9c6d3 new UNITY examples by Sidi Ehmety diff -r 04ee73606993 -r f42353afd6d3 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Fri Jan 05 10:19:14 2001 +0100 +++ b/src/HOL/IsaMakefile Fri Jan 05 10:19:32 2001 +0100 @@ -320,10 +320,11 @@ HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz -$(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/Alloc.ML \ - UNITY/Alloc.thy UNITY/AllocBase.ML UNITY/AllocBase.thy \ +$(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ + UNITY/Alloc.ML UNITY/Alloc.thy UNITY/AllocBase.ML UNITY/AllocBase.thy \ UNITY/Channel.ML UNITY/Channel.thy UNITY/Client.ML UNITY/Client.thy \ UNITY/Common.ML UNITY/Common.thy UNITY/Comp.ML UNITY/Comp.thy \ + UNITY/Counter.ML UNITY/Counter.thy UNITY/Counterc.ML UNITY/Counterc.thy \ UNITY/Deadlock.ML UNITY/Deadlock.thy UNITY/Detects.ML \ UNITY/Detects.thy UNITY/ELT.ML UNITY/ELT.thy UNITY/Extend.ML \ UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \ @@ -331,8 +332,11 @@ UNITY/Guar.ML UNITY/Guar.thy UNITY/Handshake.ML UNITY/Handshake.thy \ UNITY/Lift.ML UNITY/Lift.thy UNITY/Lift_prog.ML UNITY/Lift_prog.thy \ UNITY/ListOrder.thy UNITY/Mutex.ML UNITY/Mutex.thy UNITY/NSP_Bad.ML \ - UNITY/NSP_Bad.thy UNITY/Network.ML UNITY/Network.thy UNITY/PPROD.ML \ - UNITY/PPROD.thy UNITY/Project.ML UNITY/Project.thy UNITY/ROOT.ML \ + UNITY/NSP_Bad.thy UNITY/Network.ML UNITY/Network.thy \ + UNITY/PPROD.ML UNITY/PPROD.thy \ + UNITY/PriorityAux.ML UNITY/PriorityAux.thy \ + UNITY/Priority.ML UNITY/Priority.thy \ + UNITY/Project.ML UNITY/Project.thy \ UNITY/Reach.ML UNITY/Reach.thy UNITY/Reachability.ML \ UNITY/Reachability.thy UNITY/Rename.ML UNITY/Rename.thy \ UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/TimerArray.ML \