src/HOL/Matrix/cplex/matrixlp.ML
2008-03-20 wenzelm 2008-03-20 simplified get_thm(s): back to plain name argument;
2008-03-19 wenzelm 2008-03-19 renamed datatype thmref to Facts.ref, tuned interfaces;
2007-09-15 haftmann 2007-09-15 fixed title
2007-07-09 obua 2007-07-09 adopted to new computing oracle and fixed bugs introduced by tuning
2007-05-14 haftmann 2007-05-14 reorganized float arithmetic
2006-09-29 wenzelm 2006-09-29 moved Matrix/cplex/MatrixLP.ML to Matrix/cplex/matrixlp.ML;