From 4979bfb209dc4ebfaa377d77e8066fddf009a6b8 Mon Sep 17 00:00:00 2001
From: Kimaya Bedarkar <kbedarka@mpi-sws.org>
Date: Wed, 12 Feb 2025 11:35:18 +0100
Subject: [PATCH] add changelog entry

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1c0b56f1..974dec88 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -108,7 +108,8 @@ and Yiyun Liu. Thanks a lot to everyone involved!
 - Add `gmultiset_map` and associated lemmas. (by Marijn van Wezel)
 - Add `CProd` type class for Cartesian products; with instances for `list`,
   `gset`, `boolset`, `MonadSet` (i.e., `propset`, `listset`); and `set_solver`
-  tactic support. (by Thibaut Pérami)
+	tactic support. (by Thibaut Pérami)
+- Add some zip lemmas (by Kimaya Bedarkar)
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
-- 
GitLab