*** empty log message ***
authornipkow
Wed Feb 04 03:44:05 2004 +0100 (2004-02-04)
changeset 14375a545da363b23
parent 14374 61de62096768
child 14376 9fe787a90a48
*** empty log message ***
NEWS
     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