| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Cleanup in subtac_cases, preparing to use improvements on return predicate |  msozeau | 2008-06-17 |
| * | Make multiple patterns work again with Program while simplifying the code. | msozeau | 2007-03-26 |
| * | Solve obligation handling bug of trying to solve automatically at Next Obliga... | msozeau | 2007-03-13 |
| * | Debug wellfounded defs, work on cleaning obls envs | msozeau | 2007-02-23 |
| * | Add dependent list combinators test. | msozeau | 2006-09-28 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |