src/HOL/IsaMakefile
changeset 19404 9bf2cdc9e8e8
parent 19402 742b7934ccfc
child 19497 630073ef9212
     1.1 --- a/src/HOL/IsaMakefile	Mon Apr 10 14:37:23 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Apr 10 16:00:34 2006 +0200
     1.3 @@ -672,7 +672,7 @@
     1.4  HOL-Complex-Matrix: HOL-Complex $(OUT)/HOL-Complex-Matrix
     1.5  
     1.6  $(OUT)/HOL-Complex-Matrix: $(OUT)/HOL-Complex \
     1.7 -  Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
     1.8 +  Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy Matrix/LP.thy \
     1.9    Matrix/document/root.tex Matrix/ROOT.ML \
    1.10    Matrix/cplex/Cplex.thy Matrix/cplex/CplexMatrixConverter.ML \
    1.11    Matrix/cplex/Cplex_tools.ML Matrix/cplex/FloatSparseMatrix.thy \