aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring/Cring.v
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing an incompleteness of the ring/field tacticsGravatar amahboub2013-08-23
* Updating headers.Gravatar herbelin2012-08-08
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Ring2 devient Ncring et la reification par les type classes est partageeGravatar pottier2011-07-26
* Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_defGravatar letouzey2011-06-28
* ring2, cring, nsatz avec type classe avec parametres plus notationsGravatar pottier2011-06-10
* syntax for exponentsGravatar pottier2011-03-08
* Revert "syntax for exponents"Gravatar glondu2011-02-25
* syntax for exponentsGravatar pottier2011-02-22
* anneaux commutatifs ou non, reification sans mlGravatar pottier2011-02-22