--- a/src/HOL/IsaMakefile Fri Jul 09 17:00:42 2010 +0200
+++ b/src/HOL/IsaMakefile Mon Jul 12 08:58:12 2010 +0200
@@ -1057,10 +1057,10 @@
$(SRC)/Tools/Compute_Oracle/compute.ML Matrix/ComputeFloat.thy \
Matrix/ComputeHOL.thy Matrix/ComputeNumeral.thy Tools/float_arith.ML \
Matrix/Matrix.thy Matrix/SparseMatrix.thy Matrix/LP.thy \
- Matrix/document/root.tex Matrix/ROOT.ML Matrix/cplex/Cplex.thy \
- Matrix/cplex/CplexMatrixConverter.ML Matrix/cplex/Cplex_tools.ML \
- Matrix/cplex/FloatSparseMatrixBuilder.ML Matrix/cplex/fspmlp.ML \
- Matrix/cplex/matrixlp.ML
+ Matrix/document/root.tex Matrix/ROOT.ML Matrix/Cplex.thy \
+ Matrix/CplexMatrixConverter.ML Matrix/Cplex_tools.ML \
+ Matrix/FloatSparseMatrixBuilder.ML Matrix/fspmlp.ML \
+ Matrix/matrixlp.ML
@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Matrix