| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge branch 'subclasses' into coq-trunk |  msozeau | 2011-05-05 |
| * | Adding test-case for bug #2362, which uses HO unification during | msozeau | 2010-10-12 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |