Skip to content
Snippets Groups Projects
Commit 3c228d84 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

CHANGELOG.

parent a91ccac4
No related branches found
No related tags found
1 merge request!458Add NoDup_bind, vec_enum, vec_finite (new version with proper branch)
Pipeline #80844 passed
This commit is part of merge request !458. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
CHANGELOG.md
+ 1
− 0
View file @ 3c228d84
...@@ -35,6 +35,7 @@ Coq 8.12 and 8.13 are no longer supported by this release. ...@@ -35,6 +35,7 @@ Coq 8.12 and 8.13 are no longer supported by this release.
- Change `lookup_union` lemma statement to use `∪` on maps instead of `union_with`. - Change `lookup_union` lemma statement to use `∪` on maps instead of `union_with`.
- Add `set_omap` function for finite sets and associated lemmas. (by Dorian - Add `set_omap` function for finite sets and associated lemmas. (by Dorian
Lesbre) Lesbre)
- Add proof that `vec` is `Finite`. (by Herman Bergwerf.)
The following `sed` script should perform most of the renaming The following `sed` script should perform most of the renaming
(on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`). (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment