src/HOL/Matrix/ROOT.ML

--- a/src/HOL/Matrix/ROOT.ML	Fri Apr 23 20:48:28 2004 +0200
+++ b/src/HOL/Matrix/ROOT.ML	Fri Apr 23 20:49:26 2004 +0200
@@ -1,1 +1,10 @@
+(*  Title:      HOL/Matrix/ROOT.ML
+    ID:         $Id$
+    Author:     Steven Obua
+    License:    2004 Technische Universität München
+
+Theory of matrices with an application of matrix theory to linear
+programming.
+*)
+
 use_thy "LinProg";