aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/specialize.v
Commit message (Expand)AuthorAge
* Ensuring that patterns of the form pat/constr move the hypotheses replacingGravatar Hugo Herbelin2015-09-08
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* f_equal, revert, specialize in ML, contradict in better Ltac (+doc)Gravatar letouzey2008-03-07