src/ZF/IsaMakefile
changeset 13163 e320a52ff711
parent 13155 dcbf6cb95534
child 13164 dfc399c684e4
     1.1 --- a/src/ZF/IsaMakefile	Fri May 17 16:54:25 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sat May 18 20:08:17 2002 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  FOL:
     1.5  	@cd $(SRC)/FOL; $(ISATOOL) make FOL
     1.6  
     1.7 -$(OUT)/ZF: $(OUT)/FOL AC.thy Arith.ML Arith.thy ArithSimp.ML	\
     1.8 +$(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy ArithSimp.ML	\
     1.9    ArithSimp.thy Bool.ML Bool.thy Cardinal.ML Cardinal.thy		\
    1.10    CardinalArith.ML CardinalArith.thy Cardinal_AC.thy \
    1.11    Datatype.ML Datatype.thy Epsilon.ML Epsilon.thy Finite.ML Finite.thy	\
    1.12 @@ -45,9 +45,9 @@
    1.13    Sum.thy Tools/cartprod.ML Tools/datatype_package.ML			\
    1.14    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
    1.15    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
    1.16 -  Trancl.ML Trancl.thy Univ.ML Univ.thy Update.ML Update.thy WF.ML	\
    1.17 +  Trancl.ML Trancl.thy Univ.thy Update.ML Update.thy WF.ML	\
    1.18    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML domrange.ML	\
    1.19 -  domrange.thy equalities.ML equalities.thy func.ML func.thy		\
    1.20 +  domrange.thy equalities.ML equalities.thy func.thy		\
    1.21    ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.22    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy
    1.23  	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF