• Robbert Krebbers's avatar
    Tweak sealing stuff. · 52d7d275
    Robbert Krebbers authored
    * Use sig instead of sigT: the proof is a Prop after all
    * Tweak implicit arguments
    * Shorten proof of sigma
    52d7d275
auth.v 6.64 KB