src/HOL/IsaMakefile
changeset 14320 fb7a114826be
parent 14314 314da085adf3
child 14323 27724f528f82
     1.1 --- a/src/HOL/IsaMakefile	Tue Dec 23 14:45:23 2003 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Dec 23 14:45:47 2003 +0100
     1.3 @@ -174,7 +174,7 @@
     1.4    Complex/ComplexBin.ML Complex/ComplexBin.thy\
     1.5    Complex/NSCA.ML Complex/NSCA.thy\
     1.6    Complex/NSComplex.thy\
     1.7 -  Complex/NSComplexArith0.ML Complex/NSComplexArith0.thy\
     1.8 +  Complex/hcomplex_arith.ML Complex/NSComplexArith.thy\
     1.9    Complex/NSComplexBin.ML Complex/NSComplexBin.thy
    1.10  	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
    1.11