Commit 6ac4c450 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'ralf/bool_decide' into 'master'

add unfolding lemma for bool_decide: bool_decide_decide

See merge request iris/stdpp!73
parents c781cb85 36c6d934
Pipeline #17643 passed with stage
in 10 minutes and 3 seconds