| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [general] Remove Econstr dependency from `intf` |  Emilio Jesus Gallego Arias | 2017-10-25 |
| To this extent we factor out the relevant bits to a new file, ltac_pretype. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |