Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Contradiction API using EConstr. | Pierre-Marie Pédrot | 2017-02-14 |
* | Equality API using EConstr. | Pierre-Marie Pédrot | 2017-02-14 |
* | Tactics API using EConstr. | Pierre-Marie Pédrot | 2017-02-14 |
* | Clenv API using EConstr. | Pierre-Marie Pédrot | 2017-02-14 |
* | Making judgment type generic over the type of inner constrs. | Pierre-Marie Pédrot | 2017-02-14 |
* | Introducing a new EConstr.t type to perform the nf_evar operation on demand. | Pierre-Marie Pédrot | 2016-11-08 |