src/HOL/Matrix_LP/Compute_Oracle/linker.ML
Tue, 30 Jul 2013 15:09:25 +0200 wenzelm type theory is purely value-oriented;
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