Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Making Evd independent from Namegen. | 2017-02-14 | |
* | Remove unused optional "predicative" argument. | 2016-08-10 | |
* | Adding a bit of documentation in the mli. | 2016-06-09 | |
* | Allowing to attach location to universes in UState. | 2016-02-19 | |
* | Monotonizing the Evarutil module. | 2016-02-15 | |
* | Removing some goal unsafeness in inductive schemes. | 2015-10-29 | |
* | Removing some unsafe uses of monotonicity. | 2015-10-19 | |
* | Adding a notion of monotonous evarmap. | 2015-10-18 |