From 64ec9b56a9772c27b11611810e25d2c37de93fb9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 26 May 2021 11:21:01 +0200
Subject: [PATCH] changelog attribution consistency

---
 CHANGELOG.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b5ec4788..43ca289c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -22,12 +22,12 @@ API-breaking change is listed.
 - Make `Z.of_nat'` not an implicit coercion (from `nat` to `Z`) any more.
 - Rename `decide_left` → `decide_True_pi` and `decide_right` → `decide_False_pi`.
 - Add `option_guard_True_pi`.
-- Add lemma `surjective_finite` (by Alix Trieu).
-- Add type classes `TCFalse`, `TCUnless`, `TCExists`, and `TCFastDone` (by
-  Michael Sammler).
-- Add various results about bit representations of `Z` (by Michael Sammler).
-- Add tactic `learn_hyp` (by Michael Sammler).
-- Add `Countable` instance for decidable Sigma types (by Simon Gregersen).
+- Add lemma `surjective_finite`. (by Alix Trieu)
+- Add type classes `TCFalse`, `TCUnless`, `TCExists`, and `TCFastDone`. (by
+  Michael Sammler)
+- Add various results about bit representations of `Z`. (by Michael Sammler)
+- Add tactic `learn_hyp`. (by Michael Sammler)
+- Add `Countable` instance for decidable Sigma types. (by Simon Gregersen)
 - Add tactics `compute_done` and `compute_by` for solving goals by computation.
 - Add `Inj` instances for `fmap` on option and maps.
 
-- 
GitLab