Skip to content

add unfolding lemma for bool_decide: bool_decide_decide

Ralf Jung requested to merge ralf/bool_decide into master

Merge request reports