aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring/Algebra_syntax.v
Commit message (Expand)AuthorAge
* moins de reification inutile, noatations standardsGravatar pottier2011-08-04
* ring2, cring, nsatz avec type classe avec parametres plus notationsGravatar pottier2011-06-10
* anneaux commutatifs ou non, reification sans mlGravatar pottier2011-02-22