aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/BinIntDef.v
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Pos.iter arguments in a better order for cbn.Gravatar Pierre Boutillier2014-05-02
* Updating headers.Gravatar herbelin2012-08-08
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Functions *_beq aren't generated anymore, remove comments about themGravatar letouzey2012-05-30
* Cleanup of files related with power over Z.Gravatar letouzey2011-07-01
* Arithemtic: more concerning compare, eqb, leb, ltbGravatar letouzey2011-06-20
* BinInt: Z.add become the alternative Z.add'Gravatar letouzey2011-05-05
* Modularization of BinInt, related fixes in the stdlibGravatar letouzey2011-05-05