aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring/Rings_Q.v
Commit message (Expand)AuthorAge
* moins de reification inutile, noatations standardsGravatar pottier2011-08-04