src/HOL/IsaMakefile
changeset 13785 e2fcd88be55d
parent 13776 f90298f884c4
child 13787 139c3bd8f7b2
     1.1 --- a/src/HOL/IsaMakefile	Thu Jan 23 10:30:14 2003 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jan 24 14:06:49 2003 +0100
     1.3 @@ -381,8 +381,8 @@
     1.4  HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz
     1.5  
     1.6  $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \
     1.7 -  UNITY/Comp.ML UNITY/Comp.thy \
     1.8 -  UNITY/Detects.ML UNITY/Detects.thy \
     1.9 +  UNITY/UNITY_Main.thy UNITY/Comp.ML UNITY/Comp.thy \
    1.10 +  UNITY/Detects.thy \
    1.11    UNITY/ELT.ML UNITY/ELT.thy UNITY/Extend.ML \
    1.12    UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \
    1.13    UNITY/Follows.thy UNITY/GenPrefix.ML UNITY/GenPrefix.thy \
    1.14 @@ -395,16 +395,16 @@
    1.15    UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/UNITY.ML \
    1.16    UNITY/UNITY.thy UNITY/Union.ML UNITY/Union.thy UNITY/WFair.ML \
    1.17    UNITY/WFair.thy \
    1.18 -  UNITY/Simple/Channel.ML UNITY/Simple/Channel.thy  \
    1.19 -  UNITY/Simple/Common.ML UNITY/Simple/Common.thy  \
    1.20 -  UNITY/Simple/Deadlock.ML UNITY/Simple/Deadlock.thy  \
    1.21 -  UNITY/Simple/Lift.ML UNITY/Simple/Lift.thy  \
    1.22 -  UNITY/Simple/Mutex.ML UNITY/Simple/Mutex.thy  \
    1.23 +  UNITY/Simple/Channel.thy  \
    1.24 +  UNITY/Simple/Common.thy  \
    1.25 +  UNITY/Simple/Deadlock.thy  \
    1.26 +  UNITY/Simple/Lift.thy  \
    1.27 +  UNITY/Simple/Mutex.thy  \
    1.28    UNITY/Simple/NSP_Bad.ML UNITY/Simple/NSP_Bad.thy  \
    1.29 -  UNITY/Simple/Network.ML UNITY/Simple/Network.thy  \
    1.30 -  UNITY/Simple/Reach.ML UNITY/Simple/Reach.thy   \
    1.31 -  UNITY/Simple/Reachability.ML UNITY/Simple/Reachability.thy   \
    1.32 -  UNITY/Simple/Token.ML UNITY/Simple/Token.thy \
    1.33 +  UNITY/Simple/Network.thy  \
    1.34 +  UNITY/Simple/Reach.thy   \
    1.35 +  UNITY/Simple/Reachability.thy   \
    1.36 +  UNITY/Simple/Token.thy \
    1.37    UNITY/Comp/Alloc.ML UNITY/Comp/Alloc.thy \
    1.38    UNITY/Comp/AllocBase.ML UNITY/Comp/AllocBase.thy \
    1.39    UNITY/Comp/Client.ML UNITY/Comp/Client.thy \