Skip to content
Find file Blame History Permalink
  • Robbert Krebbers's avatar
    Tweak boxes. · f2bf449c
    Robbert Krebbers authored 
    No longer `put box_own_prop γ P` in the invariant, it is persistent.
    f2bf449c