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