src/HOL/Matrix/ROOT.ML
changeset 16889 b50947fa958d
parent 16873 9ed940a1bebb
child 27484 dbb9981c3d18
     1.1 --- a/src/HOL/Matrix/ROOT.ML	Tue Jul 19 17:24:09 2005 +0200
     1.2 +++ b/src/HOL/Matrix/ROOT.ML	Tue Jul 19 17:28:27 2005 +0200
     1.3 @@ -3,6 +3,4 @@
     1.4  *)
     1.5  
     1.6  use_thy "SparseMatrix";
     1.7 -cd "cplex"; use_thy "MatrixLP"; cd "..";
     1.8 -
     1.9 -
    1.10 +with_path "cplex" use_thy "MatrixLP";