src/HOL/Matrix/SparseMatrix.thy
2004-09-03 obua 2004-09-03 Matrix theory, linear programming
2004-06-29 obua 2004-06-29 support for sparse matrices