| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-10-23 | Some typo fixes, lemmas for the mechanism properties | Thibaut Horel |
| 2012-10-22 | Proof of lemma 3 (bound on the relaxations of the value function) | Thibaut Horel |
| 2012-10-22 | Add a proof.tex file with the beginning of the proof | Thibaut Horel |
