| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Refine 9cc95f5, unification of Let-In's, bug #3929 |  Matthieu Sozeau | 2016-06-16 |
| * | Making unification of LetIn's expressions more consistent (see #3920). |  Hugo Herbelin | 2015-01-19 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |