NEWS
changeset 68250 949d93804740
parent 68247 b48bab511939
child 68260 61188c781cdd
     1.1 --- a/NEWS	Tue May 22 14:12:15 2018 +0200
     1.2 +++ b/NEWS	Tue May 22 11:08:37 2018 +0200
     1.3 @@ -315,6 +315,9 @@
     1.4  * Theory List: functions "sorted_wrt" and "sorted" now compare every
     1.5    element in a list to all following elements, not just the next one.
     1.6  
     1.7 +* Theory List: the non-standard filter-syntax "[x <- xs. P]" is
     1.8 +  deprecated and is currently only available as input syntax anymore.
     1.9 +
    1.10  * Removed nat-int transfer machinery. Rare INCOMPATIBILITY.
    1.11  
    1.12  * Predicate coprime is now a real definition, not a mere