| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | - Changement du code de Zplus pour accomoder ring qui sinon prend une |  herbelin | 2008-05-11 |
| * | migration of ide/utf8.v to theories/Unicode/Utf8.v |  letouzey | 2007-12-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |