src/HOL/Matrix/ROOT.ML
2005-07-19 wenzelm 2005-07-19 with_path;
2005-07-19 obua 2005-07-19 proving bounds for real linear programs
2005-07-13 obua 2005-07-13 - added cplex package to HOL/Matrix
2005-06-20 wenzelm 2005-06-20 proper header;
2005-03-07 obua 2005-03-07 Cleaning up HOL/Matrix
2004-09-03 obua 2004-09-03 Matrix theory, linear programming
2004-04-23 wenzelm 2004-04-23 proper document setup;
2004-04-17 kleing 2004-04-17 added HOL-Matrix, added HOL/Matrix/ROOT.ML