# HG changeset patch
# User haftmann
# Date 1441879152 -7200
# Node ID 3e28b08d62c0d0e729e25486ee6f76f156eb7b21
# Parent  b3efd7552d83c04e3b1e5e10f404c1c3f416ade1
dropped redundant NEWS

diff -r b3efd7552d83 -r 3e28b08d62c0 NEWS
--- a/NEWS	Thu Sep 10 11:47:14 2015 +0200
+++ b/NEWS	Thu Sep 10 11:59:12 2015 +0200
@@ -213,11 +213,6 @@
 removed: in LaTeX document output it looks the same as "::".
 INCOMPATIBILITY, use plain "::" instead.
 
-* Case combinator "prod_case" with eta-contracted body functions
-has explicit "uncurry" notation, to provide a compact notation while
-getting ride of a special case translation.  Slight syntactic
-INCOMPATIBILITY.
-
 * Theory Map: lemma map_of_is_SomeD was a clone of map_of_SomeD and has
 been removed. INCOMPATIBILITY.