diff -r cccbfa567117 -r b69e4da2604b NEWS
--- 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