| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Simplification of Numbers, mainly thanks to Include |  letouzey | 2009-11-10 |
| * | Add user syntax for creating hint databases [Create HintDb foo |  msozeau | 2008-09-14 |
| * | Fix bug #1899: no more strange notations for Qge and Qgt | letouzey | 2008-07-04 |
| * | Enhanced discrimination nets implementation, which can now work with | msozeau | 2008-06-27 |
| * | In abstract parts of theories/Numbers, plus/times becomes add/mul, | letouzey | 2008-06-03 |
| * | In abstract parts of theories/Numbers, plus/times becomes add/mul, | letouzey | 2008-06-02 |
| * | Enhance the BigN and BigZ infrastructure: | letouzey | 2008-06-01 |
| * | Coq headers + $ in theories/Numbers files | letouzey | 2008-05-15 |
| * | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey | 2008-05-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |