aboutsummaryrefslogtreecommitdiff
path: root/theories/PArith/vo.itarget
AgeCommit message (Expand)Author
2011-05-05BinPosDef: a module with all code about positive, later Included in BinPosletouzey
2011-05-05Modularization of BinPos + fixes in Stdlibletouzey
2010-11-05Numbers: axiomatization, properties and implementations of gcdletouzey
2010-11-02Move stuff about positive into a distinct PArith subdirletouzey