src/HOL/Matrix_LP/Matrix.thy
Sat, 17 Mar 2012 12:52:40 +0100 wenzelm renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;
less more (0) tip