--- a/src/HOL/Matrix/ROOT.ML Tue Jul 19 14:59:11 2005 +0200 +++ b/src/HOL/Matrix/ROOT.ML Tue Jul 19 16:16:53 2005 +0200 @@ -3,6 +3,6 @@ *) use_thy "SparseMatrix"; -cd "cplex"; use_thy "Cplex"; cd ".."; +cd "cplex"; use_thy "MatrixLP"; cd "..";