Skip to content
Snippets Groups Projects
Verified Commit 34b628e6 authored by Isaac van Bakel's avatar Isaac van Bakel
Browse files

Add CHANGELOG entry for big op gset_to_gmap lemma

parent a32469f5
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 0 deletions
CHANGELOG.md
+ 5
− 0
View file @ 34b628e6
...@@ -5,6 +5,11 @@ lemma. ...@@ -5,6 +5,11 @@ lemma.
## Iris master ## Iris master
**Changes in `algebra`:**
* Add lemmas `big_opS_gset_to_gmap`, `big_opS_gset_to_gmap_L` which rewrite
between `gset_to_gmap` and big set ops of singleton maps. (by Isaac van
Bakel)
**Changes in `proofmode`:** **Changes in `proofmode`:**
* Remove the `*` specialization pattern. This pattern has been deprecated and a * Remove the `*` specialization pattern. This pattern has been deprecated and a
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment