Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Modularization of BinInt, related fixes in the stdlib | 2011-05-05 | |
* | Modularization of BinNat + fixes of stdlib | 2011-05-05 | |
* | Integer division: quot and rem (trunc convention) in addition to div and mod | 2010-11-10 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | NPeano improved, subsumes NatOrderedType | 2010-02-09 | |
* | NBinary improved, contains more, subsumes NOrderedType | 2010-02-09 | |
* | ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType | 2010-02-09 | |
* | Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders* | 2010-01-07 |