Skip to content
  • Ralf Jung's avatar
    Do not export ownership · 7ca7ad53
    Ralf Jung authored
    Actual proofs will end up using own and inv, and none of the notions defined in ownership.v
    7ca7ad53