Skip to content
Snippets Groups Projects
Verified Commit 38a93520 authored by Paolo G. Giarrusso's avatar Paolo G. Giarrusso
Browse files

Add names to CHANGELOG

parent db5e0008
No related branches found
No related tags found
1 merge request!406Introduce `set_bind` and associated lemmas + set_bind theory: revise setoid rewriting
......@@ -43,7 +43,8 @@ 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
- Add the bind operation `set_bind` for finite sets. (by Dan Frumin and Paolo G.
Giarrusso)
## std++ 1.7.0 (2022-01-22)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment