Skip to content
  • Robbert Krebbers's avatar
    Make thread_local a bit more consistent. · 622800da
    Robbert Krebbers authored
    Make names more consistent with the rest of the development, make
    definitions type classes opaque so that the proofmode does not unfold
    then, declare timeless, persistent and proper instances.
    622800da