| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-26 | Remove `rapply` tactic notation in favor of just the tactic | Jason Gross | |
| This increases backwards compatibility. If desired, we can add a tactic notation to simplify the spec of `rapply` in the future if we want. | |||
| 2019-11-26 | Make rapply handle all numbers of underscores | Jason Gross | |
| Also add a tactic notation so that it takes in uconstrs by default. Also add some basic tests for `rapply`. Also document rapply in the manual | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |