Summary
- marked old Matrix-implementation as legacy
The file was added | thys/Matrix/Matrix_Legacy.thy |
The file was added | thys/Matrix/README.txt |
The file was modified | thys/Matrix/ROOT (diff) |
The file was modified | thys/Matrix_Tensor/Matrix_Tensor.thy (diff) |
The file was modified | thys/Matrix_Tensor/ROOT (diff) |
The file was removed | thys/Matrix/Matrix.thy |
The file was removed | thys/Matrix/Matrix_Arith.thy |
The file was removed | thys/Matrix/Matrix_Comparison.thy |