summaryrefslogtreecommitdiff
path: root/proofs/proof_global.mli
Commit message (Expand)AuthorAge