NEWS
changeset 62201 eca7b38c8ee5
parent 62169 a6047f511de7
child 62205 ca68dc26fbb6
     1.1 --- a/NEWS	Tue Jan 19 07:59:29 2016 +0100
     1.2 +++ b/NEWS	Tue Jan 19 11:19:25 2016 +0100
     1.3 @@ -1236,6 +1236,9 @@
     1.4  method. See HOL/Decision_Procs/ex/Approximation_Quickcheck_Ex.thy for
     1.5  examples.
     1.6  
     1.7 +* HOL-Decision_Procs: The "approximation" method works with "powr" 
     1.8 +  (exponentiation on real numbers) again.
     1.9 +
    1.10  * HOL-Probability: Reworked measurability prover
    1.11    - applies destructor rules repeatedly
    1.12    - removed application splitting (replaced by destructor rule)