diff -r 0db9a16c0d3c -r 7a169cfda866 ANNOUNCE
--- a/ANNOUNCE	Thu Oct 25 19:27:54 2007 +0200
+++ b/ANNOUNCE	Fri Oct 26 10:32:10 2007 +0200
@@ -44,6 +44,9 @@
 * Parallel loading of theories based on native multicore support in
 Poly/ML 5.1.
 
+* Improved algebraic capabilities by means of semiring normalization,
+Groebner bases and Ferrante/Rackoff algorithm.
+
 
 You may get Isabelle2007 from the following mirror sites: