src/HOL/Matrix/cplex/MatrixLP.thy
2007-05-31 wenzelm 2007-05-31 moved Compute_Oracle from Pure/Tools to Tools;
2006-09-29 wenzelm 2006-09-29 proper use of matrixlp.ML;
2005-07-19 obua 2005-07-19 proving bounds for real linear programs