• Robbert Krebbers's avatar
    Cancel a list of propositions. · c55e52f9
    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.
    c55e52f9
auth.v 6.47 KB