| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-11-02 | Compute the constant in the upper bound of the general theorem | Thibaut Horel |
| 2012-11-01 | stratis comments | Stratis Ioannidis |
| 2012-11-02 | Small mistake in previous commit | Thibaut Horel |
| 2012-11-02 | Discussion about the generalized theorem | Thibaut Horel |
| 2012-10-31 | result | Stratis Ioannidis |
| 2012-10-31 | changes | Stratis Ioannidis |
| 2012-10-31 | stuff | Stratis Ioannidis |
| 2012-10-28 | file splitting | Stratis Ioannidis |
