aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/proof_using.ml
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* remove debug prints (leftover)Gravatar Enrico Tassi2014-12-28
* Better doc and a few fixes for Proof using.Gravatar Enrico Tassi2014-12-19
* Proof using: New vernacular to name sets of section variablesGravatar Enrico Tassi2014-12-18
* Proof_using: new syntax + suggestionGravatar Enrico Tassi2014-01-05