--- a/src/ZF/IsaMakefile Sat Jun 15 22:57:33 2002 +0200
+++ b/src/ZF/IsaMakefile Sun Jun 16 11:58:54 2002 +0200
@@ -30,7 +30,7 @@
$(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy ArithSimp.ML \
ArithSimp.thy Bool.ML Bool.thy Cardinal.ML Cardinal.thy \
- CardinalArith.ML CardinalArith.thy Cardinal_AC.thy \
+ CardinalArith.thy Cardinal_AC.thy \
Datatype.ML Datatype.thy Epsilon.thy Finite.thy \
Fixedpt.ML Fixedpt.thy Inductive.ML Inductive.thy \
InfDatatype.thy Integ/Bin.ML Integ/Bin.thy Integ/EquivClass.ML \