--- a/src/HOL/IsaMakefile Tue Jan 28 22:53:39 2003 +0100
+++ b/src/HOL/IsaMakefile Wed Jan 29 11:02:08 2003 +0100
@@ -381,36 +381,24 @@
HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz
$(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \
- UNITY/UNITY_Main.thy UNITY/Comp.ML UNITY/Comp.thy \
- UNITY/Detects.thy \
- UNITY/ELT.ML UNITY/ELT.thy UNITY/Extend.ML \
+ UNITY/UNITY_Main.thy UNITY/UNITY_tactics.ML \
+ UNITY/Comp.ML UNITY/Comp.thy UNITY/Detects.thy UNITY/ELT.thy \
UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \
UNITY/Follows.thy UNITY/GenPrefix.ML UNITY/GenPrefix.thy \
- UNITY/Guar.ML UNITY/Guar.thy \
- UNITY/Lift_prog.thy \
- UNITY/ListOrder.thy \
- UNITY/PPROD.thy \
- UNITY/Project.ML UNITY/Project.thy \
- UNITY/Rename.ML UNITY/Rename.thy \
+ UNITY/Guar.ML UNITY/Guar.thy UNITY/Lift_prog.thy UNITY/ListOrder.thy \
+ UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy \
UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/UNITY.ML \
- UNITY/UNITY.thy UNITY/Union.ML UNITY/Union.thy UNITY/WFair.ML \
- UNITY/WFair.thy \
- UNITY/Simple/Channel.thy \
- UNITY/Simple/Common.thy \
- UNITY/Simple/Deadlock.thy \
- UNITY/Simple/Lift.thy \
- UNITY/Simple/Mutex.thy \
+ UNITY/UNITY.thy UNITY/Union.ML UNITY/Union.thy UNITY/WFair.ML UNITY/WFair.thy \
+ UNITY/Simple/Channel.thy UNITY/Simple/Common.thy \
+ UNITY/Simple/Deadlock.thy UNITY/Simple/Lift.thy UNITY/Simple/Mutex.thy \
UNITY/Simple/NSP_Bad.ML UNITY/Simple/NSP_Bad.thy \
- UNITY/Simple/Network.thy \
- UNITY/Simple/Reach.thy \
- UNITY/Simple/Reachability.thy \
- UNITY/Simple/Token.thy \
+ UNITY/Simple/Network.thy\
+ UNITY/Simple/Reach.thy UNITY/Simple/Reachability.thy UNITY/Simple/Token.thy\
UNITY/Comp/Alloc.ML UNITY/Comp/Alloc.thy \
UNITY/Comp/AllocBase.ML UNITY/Comp/AllocBase.thy \
UNITY/Comp/Client.ML UNITY/Comp/Client.thy \
UNITY/Comp/Counter.ML UNITY/Comp/Counter.thy \
- UNITY/Comp/Counterc.ML UNITY/Comp/Counterc.thy \
- UNITY/Comp/Handshake.thy \
+ UNITY/Comp/Counterc.ML UNITY/Comp/Counterc.thy UNITY/Comp/Handshake.thy \
UNITY/Comp/PriorityAux.ML UNITY/Comp/PriorityAux.thy \
UNITY/Comp/Priority.ML UNITY/Comp/Priority.thy \
UNITY/Comp/TimerArray.thy