Commit 990c01e8 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files


parent 822e6094
Pipeline #51231 passed with stage
in 5 minutes and 21 seconds
......@@ -132,6 +132,7 @@ API-breaking change is listed.
`gmultiset_singleton_subseteq`, which is similar to `singleton_included` in
- Add lemmas `singleton_subseteq_l` and `singleton_subseteq` for sets.
- Add lemmas `map_singleton_subseteq_l` and `map_singleton_subseteq` for maps.
The following `sed` script should perform most of the renaming
(on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
Markdown is supported
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