Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
I am now also using reification to obtain the indexes corresponding to the stuff we want to cancel instead of relying on matching using Ltac.
Robbert Krebbers authoredI am now also using reification to obtain the indexes corresponding to the stuff we want to cancel instead of relying on matching using Ltac.
