src/HOL/Matrix/SparseMatrix.thy
2006-08-02 webertj 2006-08-02 lin_arith_prover splits certain operators (e.g. min, max, abs)
2006-04-10 obua 2006-04-10 Moved stuff from Ring_and_Field to Matrix
2005-06-20 wenzelm 2005-06-20 proper header;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-05-23 nipkow 2005-05-23 simplifier trace info; Suc-intervals
2005-03-07 obua 2005-03-07 Cleaning up HOL/Matrix
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-10-11 nipkow 2004-10-11 Proofs needed to be updated because induction now preserves name of induction variable.
2004-09-10 nipkow 2004-09-10 Added antisymmetry simproc
2004-09-03 obua 2004-09-03 Matrix theory, linear programming
2004-06-29 obua 2004-06-29 support for sparse matrices