diff -r 2241191a3c54 -r a31e04831dd1 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 "=").