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/HOL/IsaMakefile
changeset 14320 fb7a114826be
parent 14314 314da085adf3
child 14323 27724f528f82 
--- a/src/HOL/IsaMakefile	Tue Dec 23 14:45:23 2003 +0100
+++ b/src/HOL/IsaMakefile	Tue Dec 23 14:45:47 2003 +0100
@@ -174,7 +174,7 @@
   Complex/ComplexBin.ML Complex/ComplexBin.thy\
   Complex/NSCA.ML Complex/NSCA.thy\
   Complex/NSComplex.thy\
-  Complex/NSComplexArith0.ML Complex/NSComplexArith0.thy\
+  Complex/hcomplex_arith.ML Complex/NSComplexArith.thy\
   Complex/NSComplexBin.ML Complex/NSComplexBin.thy
 	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
isabelle