--- 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 \