Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove unused env argument to fresh_sort_in_family | Gaëtan Gilbert | 2018-07-03 |
| | | | | (Universes and Evd) | ||
* | Split off Universes functions dealing with generating new universes. | Gaëtan Gilbert | 2018-05-17 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove unused env argument to fresh_sort_in_family | Gaëtan Gilbert | 2018-07-03 |
| | | | | (Universes and Evd) | ||
* | Split off Universes functions dealing with generating new universes. | Gaëtan Gilbert | 2018-05-17 |