src/HOL/Matrix/matrixlp.ML
Sat, 11 Feb 2012 00:07:28 +0100 haftmann brute-force adjustion
Fri, 10 Feb 2012 23:56:09 +0100 haftmann tuned
Fri, 10 Feb 2012 23:49:17 +0100 haftmann tuned code
Fri, 10 Feb 2012 22:51:21 +0100 haftmann dropped dead code
Wed, 10 Aug 2011 20:53:43 +0200 wenzelm old term operations are legacy;
Tue, 02 Nov 2010 20:15:57 +0100 wenzelm eliminated fragile catch-all pattern, based on educated guess about the intended exception;
Tue, 13 Jul 2010 11:38:04 +0200 haftmann corrected title
Mon, 12 Jul 2010 08:58:12 +0200 haftmann more regular session structure
less more (0) tip