NEWS
changeset 13745 a31e04831dd1
parent 13735 7de9342aca7a
child 13781 ecb2df44253e
     1.1 --- a/NEWS	Tue Dec 10 10:40:32 2002 +0100
     1.2 +++ b/NEWS	Wed Dec 11 10:12:48 2002 +0100
     1.3 @@ -90,6 +90,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* GroupTheory: new, experimental summation operator for abelian groups.
     1.8 +
     1.9  * New tactic "trans_tac" and method "trans" instantiate
    1.10  Provers/linorder.ML for axclasses "order" and "linorder" (predicates
    1.11  "<=", "<" and "=").