add pair_included, auth_frag_core, singleton_core_total (!421) · Merge requests · Iris / Iris · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/misc-lemmas into master 5 years ago

All threads resolved!

These lemmas were useful in !289 (merged).

Approval is optional

Activity

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung
Last reply by Robbert Krebbers 5 years ago

Ralf Jung added 1 commit 5 years ago

added 1 commit

1e512d6e - use type-ascribed equality notation

Compare with previous version

Ralf Jung resolved all threads 5 years ago

resolved all threads

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

LGTM. Thanks.

Ralf Jung merged 5 years ago

merged

Ralf Jung mentioned in commit 5 years ago

mentioned in commit 99d4fcc4

Ralf Jung added label 5 years ago

added Changelog label

Ralf Jung removed label 4 years ago

removed Changelog label

Please register or sign in to reply