aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring/Integral_domain.v
Commit message (Expand)AuthorAge
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Integral domainsGravatar pottier2011-07-26