src/HOL/Matrix_LP/Cplex.thy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-04-13 wenzelm 2012-04-13 updated headers;
2012-03-17 wenzelm 2012-03-17 renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;