Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Funind API using EConstr. | 2017-02-14 | |
* | This commit adds full universe polymorphism and fast projections to Coq. | 2014-05-06 | |
* | Modulification of identifier | 2012-12-14 | |
* | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr | 2012-05-29 | |
* | New version of recdef : | 2012-03-01 |