From 2d2a72ae31e2e49968c6d1ebd5d84c1d7f6a6d88 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 24 Feb 2020 08:36:15 +0100
Subject: [PATCH] CHANGELOG entry.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 277da488..f4532cf3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,7 +14,9 @@ API-breaking change is listed.
 - Add type class `TopSet` for sets with a `⊤` element. Provide instances for
   `boolset`, `propset`, and `coPset`.
 - Add `set_solver` support for `dom`.
-
+- Rename `vec_to_list_of_list` into `vec_to_list_to_vec`, and add new lemma
+  `list_to_vec_to_list` for the converse.
+- Add `Countable` instance for `vec`.
 
 ## std++ 1.2.1 (released 2019-08-29)
 
-- 
GitLab