src/HOL/Matrix/matrixlp.ML
changeset 37788 261c61fabc98
parent 37764 3489daf839d5
child 40298 2bdb14323fbf
equal deleted inserted replaced
37787:30dc3abf4a58 37788:261c61fabc98
     1 (*  Title:      HOL/Matrix/cplex/matrixlp.ML
     1 (*  Title:      HOL/Matrix/matrixlp.ML
     2     Author:     Steven Obua
     2     Author:     Steven Obua
     3 *)
     3 *)
     4 
     4 
     5 signature MATRIX_LP =
     5 signature MATRIX_LP =
     6 sig
     6 sig