| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Using name given by user to name a 'pat, if any. |  Hugo Herbelin | 2018-02-20 |
| * | Moving the argument of CProdN/CLambdaN from binder_expr to local_binder_expr. | Hugo Herbelin | 2018-02-20 |
| * | A test checking for non-collision of name in irrefutable patterns. | Hugo Herbelin | 2017-03-23 |
| * | Some extra fixes in printing patterns in binders. | Hugo Herbelin | 2016-07-19 |
| * | Taking into account binding patterns when agglutinating sequences of binders. | Hugo Herbelin | 2016-07-19 |
| * | Fixing missing parentheses in printing of patterns in binders. | Hugo Herbelin | 2016-07-19 |
| * | Patterns in binders: printing tests |  Arnaud Spiwack | 2016-06-27 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |