Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Wish #1187 granted (support for canonical structures that are records | herbelin | 2006-09-23 |
* | Correction bug 1172 + correction en passant de la taille des paramètres de f... | herbelin | 2006-07-07 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Wish #1187 granted (support for canonical structures that are records | herbelin | 2006-09-23 |
* | Correction bug 1172 + correction en passant de la taille des paramètres de f... | herbelin | 2006-07-07 |