equal
deleted
inserted
replaced
1 (* Title: HOL/Matrix/SparseMatrix.thy |
1 (* Title: HOL/Matrix_LP/SparseMatrix.thy |
2 Author: Steven Obua |
2 Author: Steven Obua |
3 *) |
3 *) |
4 |
4 |
5 theory SparseMatrix |
5 theory SparseMatrix |
6 imports Matrix |
6 imports Matrix |