fix inconsistent Lemma name: sub_add' → add_sub' (!509) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/add_sub into master 1 year ago

Activity

Ralf Jung added 1 commit 1 year ago
added 1 commit

af479aa6 - fix inconsistent Lemma name: sub_add' → add_sub'

Compare with previous version
Robbert Krebbers mentioned in commit 612dbcbb 1 year ago

mentioned in commit 612dbcbb
Robbert Krebbers merged 1 year ago

merged
Robbert Krebbers @robbertkrebbers 1 year ago

Owner

LGTM. Thanks.
Robbert Krebbers @robbertkrebbers 1 year ago

Owner
@iris-users This is a breaking change:

Rename sub_add' to add_sub' for consistency with Coq's add_sub lemma.

Please register or sign in to reply