Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/ZF/IsaMakefile
changeset 13222 74d9144c452c
parent 13218 3732064ccbd1
child 13225 b6fc6e4a0a24 
--- 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 	\
isabelle