From 046113d761baaa3b8e4590a2450a3ee8638858c2 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 28 Oct 2020 19:57:29 +0100
Subject: [PATCH] CHANGELOG.

---
 CHANGELOG.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3bd27e03..87f5d393 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,11 @@ Coq 8.8 and 8.9 are no longer supported.
 - Add `max` and `min` operations for `Qp`.
 - Add additional lemmas for `Qp`.
 - Remove the lemma `Qp_not_plus_q_ge_1` in favor of `Qp_not_plus_ge`.
+- Remove unused notations `âˆª**`, `âˆª*âˆª**`, `âˆ–**`, `âˆ–*âˆ–**`, `âŠ†**`, `âŠ†1*`, `âŠ†2*`,
+  `âŠ†1**`, `âŠ†2**"`, `##**`, `##1*`, `##2*`, `##1**`, `##2**` for nested
+  `zip_with` and `Forall2` versions of `âˆª`, `âˆ–`, and `##`.
+- Remove unused type classes `DisjointE`, `DisjointList`, `LookupE`, and
+  `InsertE`.
 
 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