Skip to content
Snippets Groups Projects
Commit d6c6e66a authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'robbert/add_sub' into 'master' 

Rename plus/minus → add/sub and put number lemmas in modules to be consistent with Coq stdlib

See merge request iris/stdpp!404
parents dbe687f6 faf617c0
No related branches found
No related tags found
1 merge request!404Rename plus/minus → add/sub and put number lemmas in modules to be consistent with Coq stdlib
Pipeline #70804 passed