diff options
| author | Cyril Cohen | 2019-11-28 15:49:16 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-28 15:49:16 +0100 |
| commit | 1c5f53779a92066746bba8817641b55e436992f2 (patch) | |
| tree | 2d6f2937b3f0e530103852f4b09c8db38eb98958 | |
| parent | cbc1688d9447860a60cb3ede83099a10bcd408e2 (diff) | |
| parent | bfab7af44aea55a50e09fa8a5040cb2e1ba54e4a (diff) | |
Merge pull request #439 from math-comp/CohenCyril-patch-1
remove duplicated sentence in CHANGELOG_UNRELEASED
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 5b42377..2047211 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -59,8 +59,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). `edivnS`, `divnS`, `modnS`, `edivn_pred`, `divn_pred` and `modn_pred`. -- Added map/parametricity theorems about `path`, `sort` and `sorted`: - - Added `mem2E` in `path.v`. - Added `sort_rec1` and `sortE` to help inductive reasoning on `sort`. |