--- a/src/HOL/Matrix/SparseMatrix.thy Mon Jun 20 22:13:59 2005 +0200
+++ b/src/HOL/Matrix/SparseMatrix.thy Mon Jun 20 22:14:01 2005 +0200
@@ -1,3 +1,8 @@
+(* Title: HOL/Matrix/SparseMatrix.thy
+ ID: $Id$
+ Author: Steven Obua
+*)
+
theory SparseMatrix imports Matrix begin
types