src/ZF/IsaMakefile
changeset 13135 3c6400ad9430
parent 13085 bfdb0534c8ec
child 13140 6d97dbb189a9
     1.1 --- a/src/ZF/IsaMakefile	Fri May 10 22:50:08 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri May 10 22:51:18 2002 +0200
     1.3 @@ -28,11 +28,11 @@
     1.4  FOL:
     1.5  	@cd $(SRC)/FOL; $(ISATOOL) make FOL
     1.6  
     1.7 -$(OUT)/ZF: $(OUT)/FOL AC.ML AC.thy Arith.ML Arith.thy ArithSimp.ML	\
     1.8 +$(OUT)/ZF: $(OUT)/FOL AC.thy Arith.ML Arith.thy ArithSimp.ML	\
     1.9    ArithSimp.thy Bool.ML Bool.thy Cardinal.ML Cardinal.thy		\
    1.10 -  CardinalArith.ML CardinalArith.thy Cardinal_AC.ML Cardinal_AC.thy	\
    1.11 +  CardinalArith.ML CardinalArith.thy Cardinal_AC.thy \
    1.12    Datatype.ML Datatype.thy Epsilon.ML Epsilon.thy Finite.ML Finite.thy	\
    1.13 -  Fixedpt.ML Fixedpt.thy Inductive.ML Inductive.thy InfDatatype.ML	\
    1.14 +  Fixedpt.ML Fixedpt.thy Inductive.ML Inductive.thy 	\
    1.15    InfDatatype.thy Integ/Bin.ML Integ/Bin.thy Integ/EquivClass.ML	\
    1.16    Integ/EquivClass.thy Integ/Int.ML Integ/Int.thy Integ/IntArith.thy	\
    1.17    Integ/IntDiv.ML Integ/IntDiv.thy Integ/int_arith.ML			\
    1.18 @@ -46,7 +46,7 @@
    1.19    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
    1.20    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
    1.21    Trancl.ML Trancl.thy Univ.ML Univ.thy Update.ML Update.thy WF.ML	\
    1.22 -  WF.thy ZF.ML ZF.thy Zorn.ML Zorn.thy arith_data.ML domrange.ML	\
    1.23 +  WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML domrange.ML	\
    1.24    domrange.thy equalities.ML equalities.thy func.ML func.thy		\
    1.25    ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.26    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy