src/HOL/Matrix/cplex/Cplex.thy
changeset 16890 c4e5afaba440
parent 16784 92ff7c903585
child 23665 825bea0266db
     1.1 --- a/src/HOL/Matrix/cplex/Cplex.thy	Tue Jul 19 17:28:27 2005 +0200
     1.2 +++ b/src/HOL/Matrix/cplex/Cplex.thy	Tue Jul 19 17:28:37 2005 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  
     1.5  theory Cplex 
     1.6  imports FloatSparseMatrix
     1.7 -files "Cplex_tools.ML" "CplexMatrixConverter.ML" "FloatSparseMatrixBuilder.ML" "fspmlp.ML"
     1.8 +uses "Cplex_tools.ML" "CplexMatrixConverter.ML" "FloatSparseMatrixBuilder.ML" "fspmlp.ML"
     1.9  begin
    1.10  
    1.11  end