• Robbert Krebbers's avatar
    Fix issue #99. · 7ed067a9
    Robbert Krebbers authored
    This causes a bit of backwards incompatibility: it may now succeed with
    later stripping below unlocked/TC transparent definitions. This problem
    actually occured for `wsat`.
    7ed067a9
proofmode.v 6.93 KB