changeset 68249 | 949d93804740 |
parent 68246 | b48bab511939 |
child 68260 | 61188c781cdd |
--- 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