list lookup lemmas: cons, singleton (!264) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/list-lookup into master 3 years ago

All threads resolved!

I was quite surprised to not find lemmas like this when I just was looking for them...

Activity

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

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

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

Resolved 3 years ago by Ralf Jung

Ralf Jung added 1 commit 3 years ago

added 1 commit

3bffafaa - tweaks

Compare with previous version

Ralf Jung resolved all threads 3 years ago

resolved all threads

Robbert Krebbers merged 3 years ago

merged

Robbert Krebbers mentioned in commit 3 years ago

mentioned in commit 13efa2cb

Robbert Krebbers @robbertkrebbers · 3 years ago

Owner

Thanks and merged!

Please register or sign in to reply