Merge branch 'robbert/empty_iff' into 'master' (7d34364f) · Commits · Iris / stdpp · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

stdpp
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Service Desk

Snippets Groups Projects

7d34364f

Commit 7d34364f authored 3 years ago by Robbert Krebbers

Downloads
- Plain Diff

Merge branch 'robbert/empty_iff' into 'master'

Clean up `empty{',_inv,_iff}` lemmas.

See merge request !307

parents cbd68767 d8ad1852

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 5
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

CHANGELOG.md 18 additions, 2 deletions

CHANGELOG.md
theories/fin_map_dom.v 4 additions, 3 deletions

theories/fin_map_dom.v
theories/fin_maps.v 29 additions, 25 deletions

theories/fin_maps.v
theories/fin_sets.v 6 additions, 11 deletions

theories/fin_sets.v
theories/gmultiset.v 7 additions, 15 deletions

theories/gmultiset.v

with 64 additions and 56 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment