src/HOL/Matrix_LP/fspmlp.ML
Fri, 13 Apr 2012 14:00:26 +0200 wenzelm updated headers;
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