Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Even better test for choosing rewrite or setoid_rewrite. | 2008-07-26 | |
* | In abstract parts of theories/Numbers, plus/times becomes add/mul, | 2008-06-03 | |
* | In abstract parts of theories/Numbers, plus/times becomes add/mul, | 2008-06-02 | |
* | Enhance the BigN and BigZ infrastructure: | 2008-06-01 |