added hint for algebra
authorhaftmann
Fri Oct 26 10:32:10 2007 +0200 (2007-10-26)
changeset 251977a169cfda866
parent 25196 0db9a16c0d3c
child 25198 1e904070e9cb
added hint for algebra
ANNOUNCE
     1.1 --- a/ANNOUNCE	Thu Oct 25 19:27:54 2007 +0200
     1.2 +++ b/ANNOUNCE	Fri Oct 26 10:32:10 2007 +0200
     1.3 @@ -44,6 +44,9 @@
     1.4  * Parallel loading of theories based on native multicore support in
     1.5  Poly/ML 5.1.
     1.6  
     1.7 +* Improved algebraic capabilities by means of semiring normalization,
     1.8 +Groebner bases and Ferrante/Rackoff algorithm.
     1.9 +
    1.10  
    1.11  You may get Isabelle2007 from the following mirror sites:
    1.12