diff options
| author | Christian Doczkal | 2020-11-04 20:32:09 +0100 |
|---|---|---|
| committer | Christian Doczkal | 2020-11-11 20:36:39 +0100 |
| commit | 188ffa169aeaf83fe111753380699f0f20915ce9 (patch) | |
| tree | 217b82afb04e870221ed17734494a00df3de0562 /CHANGELOG_UNRELEASED.md | |
| parent | 7bef434688cea376694fbde648f31867d04d8d88 (diff) | |
suggestions from Cyril
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 4f03400..ecf539a 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -270,6 +270,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). `(homo|mono)_cycle(_in)`. - in `seq.v` new lemmas `eqseq_pivot`, `rev_mask`, `subseq_rev`, `subseq_cat2l`, `subseq_cat2r`, `subseq_rot`, `subseq_pivot`. +- in `seq.v` new lemmas `eqseq_pivot`, `eqseq_pivot_uniql`, `eqseq_pivot_uniqr`, + `mask_rcons, `rev_mask`, `subseq_rev`, `subseq_cat2l`, `subseq_cat2r`, `subseq_rot`, and + `uniq_subseq_pivot`. ### Changed |