Merge branch 'ralf/gset_eq' into 'master'
rename elem_of_equiv_L -> set_eq, and set_equiv_spec_L -> set_eq_subseteq See merge request iris/stdpp!210
No related branches found
No related tags found
Showing
- CHANGELOG.md 9 additions, 0 deletionsCHANGELOG.md
- theories/coGset.v 1 addition, 1 deletiontheories/coGset.v
- theories/coPset.v 2 additions, 2 deletionstheories/coPset.v
- theories/fin_map_dom.v 8 additions, 8 deletionstheories/fin_map_dom.v
- theories/fin_sets.v 1 addition, 1 deletiontheories/fin_sets.v
- theories/gmap.v 3 additions, 0 deletionstheories/gmap.v
- theories/hashset.v 1 addition, 1 deletiontheories/hashset.v
- theories/natmap.v 1 addition, 1 deletiontheories/natmap.v
- theories/sets.v 13 additions, 13 deletionstheories/sets.v
Loading
Please register or sign in to comment