# HG changeset patch
# User paulson
# Date 1024476268 -7200
# Node ID 74d9144c452c607b3c4b9256255e5a58245762bb
# Parent  e29378f347e423323f26d009c92b2169469e0492
conversion of Cardinal to Isar script

diff -r e29378f347e4 -r 74d9144c452c src/ZF/IsaMakefile
--- a/src/ZF/IsaMakefile	Wed Jun 19 09:03:34 2002 +0200
+++ b/src/ZF/IsaMakefile	Wed Jun 19 10:44:28 2002 +0200
@@ -29,7 +29,7 @@
 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
 
 $(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy ArithSimp.ML	\
-  ArithSimp.thy Bool.ML Bool.thy Cardinal.ML Cardinal.thy		\
+  ArithSimp.thy Bool.ML Bool.thy Cardinal.thy		\
   CardinalArith.thy Cardinal_AC.thy \
   Datatype.ML Datatype.thy Epsilon.thy Finite.thy	\
   Fixedpt.thy Inductive.ML Inductive.thy 	\