aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/Abstract/ZSgnAbs.v
AgeCommit message (Expand)Author
2010-12-06Numbers and bitwise functions.letouzey
2010-10-14Numbers: new functions pow, even, odd + many reorganisationsletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-01-08Numbers: axiomatization + generic properties of abs and sgn.letouzey