| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add destruct_call_concl in SubtacTactics and fix obvious obligation handling ... |  msozeau | 2007-03-14 |
| * | Opacity parameterization for obligations working. | msozeau | 2007-02-24 |
| * | Correct coq depend, add eq_rect elimination tactic to SubtacTactics | msozeau | 2007-02-19 |
| * | Various little subtac fixes, add some useful tactics. | msozeau | 2007-02-19 |
| * | Separate Tactics in subtac. | msozeau | 2007-02-09 |
| * | Fix mistake naming my Tactics file Tactics :) | msozeau | 2007-02-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |