with_path;

--- a/src/HOL/Matrix/ROOT.ML	Tue Jul 19 17:24:09 2005 +0200
+++ b/src/HOL/Matrix/ROOT.ML	Tue Jul 19 17:28:27 2005 +0200
@@ -3,6 +3,4 @@
 *)
 
 use_thy "SparseMatrix";
-cd "cplex"; use_thy "MatrixLP"; cd "..";
-
-
+with_path "cplex" use_thy "MatrixLP";