NEWS
changeset 56371 fb9ae0727548
parent 56369 2704ca85be98
child 56381 0556204bc230
     1.1 --- a/NEWS	Wed Apr 02 18:35:02 2014 +0200
     1.2 +++ b/NEWS	Wed Apr 02 18:35:07 2014 +0200
     1.3 @@ -543,6 +543,9 @@
     1.4      deriv_fderiv              ~>  has_field_derivative_def
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Include more theorems in continuous_intros. Remove the continuous_on_intros,
     1.8 +  isCont_intros collections, these facts are now in continuous_intros.
     1.9 +
    1.10  * Removed solvers remote_cvc3 and remote_z3. Use cvc3 and z3 instead.
    1.11  
    1.12  * Nitpick: