NEWS
changeset 14399 dc677b35e54f
parent 14398 c5c47703f763
child 14401 477380c74c1d
     1.1 --- a/NEWS	Thu Feb 19 15:57:34 2004 +0100
     1.2 +++ b/NEWS	Thu Feb 19 16:44:21 2004 +0100
     1.3 @@ -117,6 +117,8 @@
     1.4  
     1.5  * arith(_tac) is now able to generate counterexamples for reals as well.
     1.6  
     1.7 +* HOL-Algebra: new locale "ring" for non-commutative rings.
     1.8 +
     1.9  * SET-Protocol: formalization and verification of the SET protocol suite;
    1.10  
    1.11  * HOL-ex: InductiveInvariant_examples illustrates advanced recursive function