| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | no-refold patch |  Paul Steckler | 2016-09-09 |
| * | Continuation of r16346 on filtering local definitions. Refined |  herbelin | 2013-03-30 |
| * | Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo... |  pboutill | 2013-02-25 |
| * | A small test for type inference (used to be a regression at some time). | herbelin | 2011-12-04 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |