aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/specialize.v
Commit message (Expand)AuthorAge
* f_equal, revert, specialize in ML, contradict in better Ltac (+doc)Gravatar letouzey2008-03-07