1 (* Title: HOL/Matrix/Matrix.thy
2 ID: $Id$
3 Author: Steven Obua
2 Author: Steven Obua
4 *)
3 *)
5
4
6 theory Matrix
5 theory Matrix
7 imports Main
6 imports Main