Commit 8220d9a9 authored by Paulo Emílio de Vilhena's avatar Paulo Emílio de Vilhena
Browse files

CHANGELOG.

parent 10636f91
...@@ -59,8 +59,8 @@ Coq 8.8 and 8.9 are no longer supported. ...@@ -59,8 +59,8 @@ Coq 8.8 and 8.9 are no longer supported.
`set_equiv_spec_L``set_eq_subseteq`, `set_equiv_spec_L``set_eq_subseteq`,
`elem_of_equiv``set_equiv`, `elem_of_equiv``set_equiv`,
`set_equiv_spec``set_equiv_subseteq`. `set_equiv_spec``set_equiv_subseteq`.
- Remove lemma `map_filter_iff` in favor of the extensionality lemma - Remove lemmas `map_filter_iff` and `map_filter_lookup_eq` in favor of the stronger
`map_filter_ext`. extensionality lemmas `map_filter_ext` and `map_filter_strong_ext`.
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`):
......
Supports Markdown
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