NEWS
changeset 14375 a545da363b23
parent 14361 ad2f5da643b4
child 14380 04b603a6f17d
     1.1 --- a/NEWS	Tue Feb 03 15:58:31 2004 +0100
     1.2 +++ b/NEWS	Wed Feb 04 03:44:05 2004 +0100
     1.3 @@ -89,6 +89,9 @@
     1.4    specification.  There is also an 'ax_specification' command that
     1.5    introduces the new constants axiomatically.
     1.6  
     1.7 +
     1.8 +* arith(_tac) is now able to generate counterexamples for reals as well.
     1.9 +
    1.10  * SET-Protocol: formalization and verification of the SET protocol suite;
    1.11  
    1.12  * HOL-ex: InductiveInvariant_examples illustrates advanced recursive function