src/ZF/IsaMakefile
changeset 15202 d14a6e421a65
parent 15201 d73f9d49d835
child 15634 bca33c49b083
     1.1 --- a/src/ZF/IsaMakefile	Fri Sep 17 16:08:52 2004 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sun Sep 19 16:51:10 2004 +0200
     1.3 @@ -122,8 +122,7 @@
     1.4    UNITY/AllocBase.thy UNITY/AllocImpl.thy\
     1.5    UNITY/ClientImpl.thy UNITY/Distributor.thy\
     1.6    UNITY/Follows.thy UNITY/Increasing.thy UNITY/Merge.thy\
     1.7 -  UNITY/Monotonicity.thy\
     1.8 -  UNITY/MultisetSum.ML UNITY/MultisetSum.thy\
     1.9 +  UNITY/Monotonicity.thy UNITY/MultisetSum.thy\
    1.10    UNITY/WFair.ML UNITY/WFair.thy
    1.11  	@$(ISATOOL) usedir $(OUT)/ZF UNITY
    1.12