src/HOL/Matrix_LP/matrixlp.ML
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2014-02-12 blanchet 2014-02-12 adapted theories to '{case,rec}_{list,option}' names
2013-09-19 haftmann 2013-09-19 dropped dead code
2013-05-14 wenzelm 2013-05-14 removed dead code;
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;