src/ZF/IsaMakefile
changeset 14053 4daa384f4fd7
parent 14052 e9c9f69e4f63
child 14060 c0c4af41fa3b
     1.1 --- a/src/ZF/IsaMakefile	Wed May 28 18:13:41 2003 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Thu May 29 17:10:00 2003 +0200
     1.3 @@ -121,9 +121,11 @@
     1.4    UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/UNITY.ML UNITY/UNITY.thy \
     1.5    UNITY/UNITYMisc.ML UNITY/UNITYMisc.thy UNITY/Union.ML UNITY/Union.thy \
     1.6    UNITY/AllocBase.ML UNITY/AllocBase.thy\
     1.7 +  UNITY/ClientImpl.ML UNITY/ClientImpl.thy\
     1.8    UNITY/Distributor.ML UNITY/Distributor.thy\
     1.9    UNITY/Follows.ML UNITY/Follows.thy\
    1.10    UNITY/Increasing.ML UNITY/Increasing.thy\
    1.11 +  UNITY/Merge.ML UNITY/Merge.thy\
    1.12    UNITY/Monotonicity.ML UNITY/Monotonicity.thy\
    1.13    UNITY/MultisetSum.ML UNITY/MultisetSum.thy\
    1.14    UNITY/WFair.ML UNITY/WFair.thy