--- a/NEWS Wed Mar 11 08:45:57 2009 +0100
+++ b/NEWS Wed Mar 11 10:58:18 2009 +0100
@@ -244,7 +244,8 @@
* Theory HOL/Decisioin_Procs/Approximation.thy provides the new proof method
"approximation". It proves formulas on real values by using interval arithmetic.
In the formulas are also the transcendental functions sin, cos, tan, atan, ln,
-exp and the constant pi are allowed. For examples see HOL/ex/ApproximationEx.thy.
+exp and the constant pi are allowed. For examples see
+HOL/Descision_Procs/ex/Approximation_Ex.thy.
* Theory "Reflection" now resides in HOL/Library.