--- a/NEWS Fri Jun 06 18:36:29 2025 +0100
+++ b/NEWS Mon Jun 09 22:14:38 2025 +0200
@@ -87,11 +87,17 @@
thm remove_def ~> Set.remove_eq [simp]
const Set.filter
- thm filter_def → Set.filter_eq [simp]
+ thm filter_def ~> Set.filter_eq [simp]
const [List.]can_select ~> Set.can_select
thm can_select_def ~> Set.can_select_iff [simp]
+ const member ~> List.member
+ thm member_def ~> List.member_iff [simp]
+
+ const null ~> List.null
+ thm null_def ~> List.null_iff [simp]
+
const List.all_interval_nat List.all_interval_int
discontinued in favour of a generic List.all_range