Commit d1d19677 authored by Ralf Jung's avatar Ralf Jung
Browse files

changelog

parent 71091aa2
......@@ -17,6 +17,7 @@ API-breaking change is listed.
(previously, its definition was wrong, since it used `∪` instead of `⊎`).
+ Add lemmas for `∈` and `∉` specific for multisets, since the set lemmas no
longer work for multisets.
- Make `Qc_of_Z'` not an implicit coercion (from `Z` to `Qc`) any more.
## std++ 1.5.0
......
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