aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/proof_using.mli
Commit message (Expand)AuthorAge
* Proof using: let-in policy, optional auto-clear, forward closure*Gravatar Enrico Tassi2015-10-08
* Update headers.Gravatar Maxime Dénès2015-01-12
* Proof using: New vernacular to name sets of section variablesGravatar Enrico Tassi2014-12-18
* Proof_using: new syntax + suggestionGravatar Enrico Tassi2014-01-05