src/ZF/IsaMakefile
changeset 13259 01fa0c8dbc92
parent 13240 bb5f4faea1f3
child 13285 28d1823ce0f2
     1.1 --- a/src/ZF/IsaMakefile	Fri Jun 28 20:01:09 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sat Jun 29 21:33:06 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.thy ArithSimp.ML	\
     1.8 +$(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy \
     1.9    ArithSimp.thy Bool.thy Cardinal.thy		\
    1.10    CardinalArith.thy Cardinal_AC.thy \
    1.11    Datatype.ML Datatype.thy Epsilon.thy Finite.thy	\
    1.12 @@ -45,8 +45,8 @@
    1.13    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
    1.14    Trancl.thy Univ.thy Update.thy \
    1.15    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy	\
    1.16 -  ind_syntax.ML mono.ML mono.thy pair.thy simpdata.ML		\
    1.17 -  subset.ML subset.thy thy_syntax.ML upair.ML upair.thy
    1.18 +  ind_syntax.ML mono.thy pair.thy simpdata.ML		\
    1.19 +  thy_syntax.ML upair.thy
    1.20  	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF
    1.21  
    1.22