summaryrefslogtreecommitdiff
path: root/theories/Reals/Ranalysis_reg.v
Commit message (Expand)AuthorAge
* Imported Upstream version 8.4pl4dfsgupstream/8.4pl4dfsgGravatar Stephane Glondu2014-07-27
* Imported Upstream version 8.4dfsgupstream/8.4dfsgGravatar Stephane Glondu2012-08-20