# HG changeset patch
# User wenzelm
# Date 1453637270 3600
# Node ID 167641f8b83a65d5889e95a2f6cbd4ecb81b2bde
# Parent 3a326bc9d4d847edcdc7af2612f79757fb5e51cb
proper NEWS for this release;
diff r 3a326bc9d4d8 r 167641f8b83a NEWS
 a/NEWS Sun Jan 24 12:33:40 2016 +0100
+++ b/NEWS Sun Jan 24 13:07:50 2016 +0100
@@ 708,6 +708,9 @@
import of parent, as for general 'locale' expressions. INCOMPATIBILITY,
remove '!' and add '?' as required.
+* HOLDecision_Procs: The "approximation" method works with "powr"
+(exponentiation on real numbers) again.
+
* HOLMultivariate_Analysis: theory Cauchy_Integral_Thm with Contour
integrals (= complex path integrals), Cauchy's integral theorem, winding
numbers and Cauchy's integral formula, Liouville theorem, Fundamental
@@ 1249,9 +1252,6 @@
method. See HOL/Decision_Procs/ex/Approximation_Quickcheck_Ex.thy for
examples.
* HOLDecision_Procs: The "approximation" method works with "powr"
 (exponentiation on real numbers) again.

* HOLProbability: Reworked measurability prover
 applies destructor rules repeatedly
 removed application splitting (replaced by destructor rule)