Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
conversion of Cardinal to Isar script
authorpaulson
Wed, 19 Jun 2002 10:44:28 +0200
changeset 13222 74d9144c452c
parent 13221 e29378f347e4
child 13223 45be08fbdcff
conversion of Cardinal to Isar script
src/ZF/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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