src/HOL/Matrix/fspmlp.ML
Fri, 10 Feb 2012 23:06:21 +0100 haftmann dropped dead code
Tue, 13 Jul 2010 11:38:04 +0200 haftmann corrected title
Mon, 12 Jul 2010 08:58:12 +0200 haftmann more regular session structure
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Fri, 03 Sep 2004 17:10:36 +0200 obua Matrix theory, linear programming
less more (0) tip