NEWS

--- a/NEWS	Tue Jan 19 07:59:29 2016 +0100
+++ b/NEWS	Tue Jan 19 11:19:25 2016 +0100
@@ -1236,6 +1236,9 @@
 method. See HOL/Decision_Procs/ex/Approximation_Quickcheck_Ex.thy for
 examples.
 
+* HOL-Decision_Procs: The "approximation" method works with "powr" 
+  (exponentiation on real numbers) again.
+
 * HOL-Probability: Reworked measurability prover
   - applies destructor rules repeatedly
   - removed application splitting (replaced by destructor rule)