NEWS

--- a/NEWS	Tue May 22 14:12:15 2018 +0200
+++ b/NEWS	Tue May 22 11:08:37 2018 +0200
@@ -315,6 +315,9 @@
 * Theory List: functions "sorted_wrt" and "sorted" now compare every
   element in a list to all following elements, not just the next one.
 
+* Theory List: the non-standard filter-syntax "[x <- xs. P]" is
+  deprecated and is currently only available as input syntax anymore.
+
 * Removed nat-int transfer machinery. Rare INCOMPATIBILITY.
 
 * Predicate coprime is now a real definition, not a mere