Skip to content

Rename instances `union_with_proper` → `union_with_ne`, ...

Robbert Krebbers requested to merge robbert/gmap_ne_rename into master

This was probably an oversight when porting the proper lemmas from std++ to ne lemmas in Iris.

They are instances, so they should not be referred by name and this should not affect reverse dependencies. Just added it to the CHANGELOG to be sure.

There is no sed script since that might falsely rename uses of the std++ instances.

Merge request reports