| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove dynamic stuff from constr_expr and glob_constr |  glondu | 2011-10-28 |
| * | Take benefit of eta-expansion so that "ex P" is displayed "exists x, P x". |  herbelin | 2011-04-15 |
| * | More {raw => glob} changes for consistency | glondu | 2010-12-24 |
| * | Rename rawterm.ml into glob_term.ml | glondu | 2010-12-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |