src/ZF/IsaMakefile
changeset 13216 6104bd4088a2
parent 13194 812b00ed1c03
child 13218 3732064ccbd1
     1.1 --- a/src/ZF/IsaMakefile	Sat Jun 15 22:57:33 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sun Jun 16 11:58:54 2002 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4  
     1.5  $(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy ArithSimp.ML	\
     1.6    ArithSimp.thy Bool.ML Bool.thy Cardinal.ML Cardinal.thy		\
     1.7 -  CardinalArith.ML CardinalArith.thy Cardinal_AC.thy \
     1.8 +  CardinalArith.thy Cardinal_AC.thy \
     1.9    Datatype.ML Datatype.thy Epsilon.thy Finite.thy	\
    1.10    Fixedpt.ML Fixedpt.thy Inductive.ML Inductive.thy 	\
    1.11    InfDatatype.thy Integ/Bin.ML Integ/Bin.thy Integ/EquivClass.ML	\