| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix bug #1943 and restrict the inference optimisation of Program to |  msozeau | 2008-09-15 |
| * | Made pretyping a functor over a coercion implementation. Pretyping.Default us... | msozeau | 2006-03-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |