| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | integrate MSetToFiniteSet into the compilation (and fix it) |  letouzey | 2009-12-08 |
| * | MSets: a new generation of FSets | letouzey | 2009-10-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |