Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cleanup of files related with power over Z. | 2011-07-01 | |
* | Modularization of BinInt, related fixes in the stdlib | 2011-05-05 | |
* | Modularization of Nnat | 2011-05-05 | |
* | Wf.iter_nat becomes Peano.nat_iter (with an implicit arg) | 2011-05-05 | |
* | BinNatDef containing all functions of BinNat, misc adaptations in BinPos | 2011-05-05 |