From 47bd9469338746f690d55ddb3f8f705e94eb13fc Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 27 Jul 2021 14:40:41 +0200
Subject: [PATCH] Tweak CHANGELOG.

---
 CHANGELOG.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 49e42322..2065db2a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -138,7 +138,8 @@ API-breaking change is listed.
 - Make `map_empty` a biimplication.
 - Clean up `empty{',_inv,_iff}` lemmas:
   + Write them all using `â†”` and consistently use the `_iff` suffix.
-  + Remove `map_to_list_empty_inv_alt`.
+  + Remove `map_to_list_empty_inv_alt`, chain `Permutation_nil_r` and
+    `map_to_list_empty_iff` instead.
   + Add lemma `map_filter_empty_iff`.
 
 The following `sed` script should perform most of the renaming
-- 
GitLab