diff options
| author | Cyril Cohen | 2019-11-25 15:32:10 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-25 15:32:10 +0100 |
| commit | bfab7af44aea55a50e09fa8a5040cb2e1ba54e4a (patch) | |
| tree | f66b34348272241b443e0ca5d82b7efe8828fd57 | |
| parent | f43a928dc62abd870c3b15b4147b2ad76029b701 (diff) | |
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 fb9381f..79d4c93 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -58,8 +58,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`. |