equal
deleted
inserted
replaced
|
1 (* Title: HOL/Matrix/ROOT.ML |
|
2 ID: $Id$ |
|
3 Author: Steven Obua |
|
4 License: 2004 Technische Universität München |
|
5 |
|
6 Theory of matrices with an application of matrix theory to linear |
|
7 programming. |
|
8 *) |
|
9 |
1 use_thy "LinProg"; |
10 use_thy "LinProg"; |