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

Merge branch 'ralf/bool_decide_negb' into 'master' 

add bool_decide_negb

See merge request iris/stdpp!347
parents 7d62cfd7 516090f6
Branches
Tags
Hide whitespace changes
Inline Side-by-side
Showing
with 78 additions and 68 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment