aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Natural/Abstract/NSqrt.v
AgeCommit message (Expand)Author
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2012-08-08Updating headers.herbelin
2011-08-11SearchAbout and similar: add a customizable blacklistletouzey
2010-11-18NZSqrt: we define sqrt_up, a square root that rounds up instead of down as sqrtletouzey
2010-11-02Numbers: specs about sqrt and pow of neg numbers, even in NZletouzey
2010-11-02Numbers: NZPowProp as a Module Type, some module variable renamingletouzey
2010-10-19Add sqrt in Numbersletouzey