Skip to content
Snippets Groups Projects
Verified Commit 13c3510c authored by Dan Frumin's avatar Dan Frumin Committed by Paolo G. Giarrusso
Browse files

Update the CHANGELOG

parent f4072243
Branches
Tags
1 merge request!406Introduce `set_bind` and associated lemmas + set_bind theory: revise setoid rewriting
......@@ -43,6 +43,7 @@ s/\bmap_disjoint_subset\b/kmap_subset/g
s/\blookup_union_l\b/lookup_union_l'/g
EOF
```
- Add the bind operation `set_bind` for finite sets
## std++ 1.7.0 (2022-01-22)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment