src/ZF/IsaMakefile
changeset 13222 74d9144c452c
parent 13218 3732064ccbd1
child 13225 b6fc6e4a0a24
     1.1 --- a/src/ZF/IsaMakefile	Wed Jun 19 09:03:34 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Wed Jun 19 10:44:28 2002 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  	@cd $(SRC)/FOL; $(ISATOOL) make FOL
     1.5  
     1.6  $(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy ArithSimp.ML	\
     1.7 -  ArithSimp.thy Bool.ML Bool.thy Cardinal.ML Cardinal.thy		\
     1.8 +  ArithSimp.thy Bool.ML Bool.thy Cardinal.thy		\
     1.9    CardinalArith.thy Cardinal_AC.thy \
    1.10    Datatype.ML Datatype.thy Epsilon.thy Finite.thy	\
    1.11    Fixedpt.thy Inductive.ML Inductive.thy 	\