Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Ensuring all .v files end with a newline to make "sed -i" work better on them. | Hugo Herbelin | 2017-08-21 |
| | |||
* | Fix bug #4627: records with no declared arity can be template polymorphic. | Matthieu Sozeau | 2016-03-17 |
As if we were adding : Type. Consistent with inductives with no declared arity. |