src/HOL/Matrix/ROOT.ML
2010-07-12 haftmann 2010-07-12 more regular session structure
2009-09-02 wenzelm 2009-09-02 reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;
2008-10-17 wenzelm 2008-10-17 reactivated HOL-Matrix; minor cleanup;
2008-07-04 haftmann 2008-07-04 added marginal setup for code generation
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