From 6af40773ac9b93a5ee5582fb8743751638c0ccac Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 16 Feb 2023 11:32:05 +0100
Subject: [PATCH] add changelog
---
CHANGELOG.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index c91ae4838..5eb8ef8e3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,6 +14,7 @@ Coq 8.13 is no longer supported.
lemmas using `=` instead of `<->`.
* Add custom entry `dfrac` that can be used for `{dq}` / `â–¡` / `{# q}`
annotation of connectives with a discardable fraction.
+* Add an RA on the `Z` type of integers, using addition for `â‹…`.
**Changes in `bi`:**
--
GitLab