-
Robbert Krebbers authored
Let `iRevert` of a pure hypotheses generate a wand instead of implication. See merge request iris/iris!789
5fa30a35
Let `iRevert` of a pure hypotheses generate a wand instead of implication. See merge request iris/iris!789