src/HOL/IsaMakefile
changeset 15580 900291ee0af8
parent 15570 8d8c70b41bab
child 15619 cafa1cc0bb0a
     1.1 --- a/src/HOL/IsaMakefile	Mon Mar 07 16:55:36 2005 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Mar 07 18:19:55 2005 +0100
     1.3 @@ -634,12 +634,6 @@
     1.4  
     1.5  $(LOG)/HOL-Matrix.gz: $(OUT)/HOL-Complex \
     1.6    Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
     1.7 -  Matrix/Float.thy Matrix/FloatArith.ML Matrix/ExactFloatingPoint.ML \
     1.8 -  Matrix/Cplex.ML Matrix/CplexMatrixConverter.ML \
     1.9 -  Matrix/FloatSparseMatrixBuilder.ML \
    1.10 -  Matrix/conv.ML Matrix/eq_codegen.ML Matrix/codegen_prep.ML \
    1.11 -  Matrix/fspmlp.ML \
    1.12 -  Matrix/MatrixLP_gensimp.ML Matrix/MatrixLP.ML Matrix/MatrixLP.thy \
    1.13    Matrix/document/root.tex Matrix/ROOT.ML
    1.14  	@cd Matrix; $(ISATOOL) usedir -b $(OUT)/HOL-Complex HOL-Matrix
    1.15