| Commit message (Expand) | Author | Age |
|---|
| * | RelationPairs: stop loading it in all Numbers, stop maximal args with fst/snd |  letouzey | 2009-12-18 |
| * | Fix backtracking heuristic in typeclass resolution. |  msozeau | 2009-11-30 |
| * | Repair interpretation of numeral for BigQ, add a printer (close #2160) | letouzey | 2009-11-12 |
| * | SpecViaZ.NSig: all-in-one spec for [pred] and [sub] based on ZMax | letouzey | 2009-11-10 |
| * | Simplification of Numbers, mainly thanks to Include | letouzey | 2009-11-10 |
| * | Numbers: more (syntactic) changes toward new style of type classes | letouzey | 2009-11-06 |
| * | Numbers: start using Classes stuff, Equivalence, Proper, Instance, etc | letouzey | 2009-11-03 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Many fixes in unification: | msozeau | 2009-05-20 |
| * | Even better test for choosing rewrite or setoid_rewrite. | msozeau | 2008-07-26 |
| * | 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 |
letouzey
msozeau
glondu