--- a/NEWS Thu Sep 18 00:03:46 2014 +0200
+++ b/NEWS Thu Sep 18 15:07:43 2014 +0200
@@ -73,6 +73,8 @@
weak_case_cong ~> case_cong_weak
INCOMPATIBILITY.
+* Product over lists via constant "listprod".
+
* Sledgehammer:
- Minimization is now always enabled by default.
Removed subcommand: