ANNOUNCE
changeset 25197 7a169cfda866
parent 25148 9c9646c1080d
child 25213 48a1e80f5cdb
     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