diff -r 663e0e435866 -r 9c2e31e483b2 NEWS
--- a/NEWS	Fri Apr 16 21:03:40 2004 +0200
+++ b/NEWS	Sat Apr 17 00:46:22 2004 +0200
@@ -143,7 +143,10 @@
 * HOL-Algebra: new locale "ring" for non-commutative rings.
 
 * HOL-ex: InductiveInvariant_examples illustrates advanced recursive function
- defintions, thanks to Sava Krsti\'{c} and John Matthews.
+  definitions, thanks to Sava Krsti\'{c} and John Matthews.
+
+* HOL-Matrix: a first theory for matrices in HOL with an application of 
+  matrix theory to linear programming.
 
 * Unions and Intersections:
   The x-symbol output syntax of UN and INT has been changed