NEWS

--- a/NEWS	Tue Dec 10 10:40:32 2002 +0100
+++ b/NEWS	Wed Dec 11 10:12:48 2002 +0100
@@ -90,6 +90,8 @@
 
 *** HOL ***
 
+* GroupTheory: new, experimental summation operator for abelian groups.
+
 * New tactic "trans_tac" and method "trans" instantiate
 Provers/linorder.ML for axclasses "order" and "linorder" (predicates
 "<=", "<" and "=").