src/ZF/IsaMakefile
changeset 9548 15bee2731e43
parent 8812 7239b21e2068
child 9570 e16e168984e1
     1.1 --- a/src/ZF/IsaMakefile	Mon Aug 07 10:29:04 2000 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Mon Aug 07 10:29:54 2000 +0200
     1.3 @@ -26,7 +26,8 @@
     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 Bool.ML Bool.thy	\
     1.8 +$(OUT)/ZF: $(OUT)/FOL AC.ML AC.thy Arith.ML Arith.thy Bool.ML           \
     1.9 +  arith_data.ML ArithSimp.thy ArithSimp.ML Bool.thy                	\
    1.10    Cardinal.ML Cardinal.thy CardinalArith.ML CardinalArith.thy		\
    1.11    Cardinal_AC.ML Cardinal_AC.thy Datatype.ML Datatype.thy Epsilon.ML	\
    1.12    Epsilon.thy Finite.ML Finite.thy Fixedpt.ML Fixedpt.thy Inductive.ML	\