src/HOL/Matrix_LP/LP.thy
2013-11-01 haftmann 2013-11-01 more simplification rules on unary and binary minus
2012-11-28 wenzelm 2012-11-28 eliminated slightly odd identifiers;
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;