NEWS

--- a/NEWS	Fri Mar 08 17:19:27 2013 +0100
+++ b/NEWS	Sat Mar 09 11:56:01 2013 +0100
@@ -26,6 +26,9 @@
 
 *** HOL ***
 
+* Discontinued theory src/HOL/Library/Eval_Witness.
+INCOMPATIBILITY.
+
 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since
 Isabelle2013).  Use "isabelle build" to operate on Isabelle sessions.