Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Functions *_beq aren't generated anymore, remove comments about them | 2012-05-30 | |
* | Cleanup of files related with power over Z. | 2011-07-01 | |
* | Arithemtic: more concerning compare, eqb, leb, ltb | 2011-06-20 | |
* | BinInt: Z.add become the alternative Z.add' | 2011-05-05 | |
* | Modularization of BinInt, related fixes in the stdlib | 2011-05-05 |