Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
First it would destruct on the decider, which sometimes would result in unfolded hypotheses.
Robbert Krebbers authoredFirst it would destruct on the decider, which sometimes would result in unfolded hypotheses.
