Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Uniformity with the rest of the StdLib : _symm --> _sym | 2008-12-12 | |
* | In abstract parts of theories/Numbers, plus/times becomes add/mul, | 2008-06-02 | |
* | Coq headers + $ in theories/Numbers files | 2008-05-15 | |
* | An update on Numbers. Added two files dealing with recursion, for information... | 2007-11-22 |