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 14314 314da085adf3
parent 14309 f508492af9b4
child 14320 fb7a114826be 
--- a/src/HOL/IsaMakefile	Mon Dec 22 16:22:14 2003 +0100
+++ b/src/HOL/IsaMakefile	Mon Dec 22 18:29:20 2003 +0100
@@ -173,7 +173,7 @@
   Complex/ComplexArith0.ML Complex/ComplexArith0.thy\
   Complex/ComplexBin.ML Complex/ComplexBin.thy\
   Complex/NSCA.ML Complex/NSCA.thy\
-  Complex/NSComplex.ML Complex/NSComplex.thy\
+  Complex/NSComplex.thy\
   Complex/NSComplexArith0.ML Complex/NSComplexArith0.thy\
   Complex/NSComplexBin.ML Complex/NSComplexBin.thy
 	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
isabelle