| Commit message (Expand) | Author | Age |
|---|
| * | Division: avoid imposing rem as an infix keyword in Z_scope and bigZ_scope. |  letouzey | 2010-11-16 |
| * | Integer division: quot and rem (trunc convention) in addition to div and mod | letouzey | 2010-11-10 |
| * | Numbers: axiomatization, properties and implementations of gcd | letouzey | 2010-11-05 |
| * | NZSqrt : since spec is complete, no need for morphism axiom sqrt_wd | letouzey | 2010-11-02 |
| * | NZLog : since spec is complete, no need for morphism axiom log2_wd | letouzey | 2010-11-02 |
| * | Numbers : log2. Abstraction, properties and implementations. | letouzey | 2010-11-02 |
| * | Numbers: specs about sqrt and pow of neg numbers, even in NZ | letouzey | 2010-11-02 |
| * | Add sqrt in Numbers | letouzey | 2010-10-19 |
| * | Numbers : also axiomatize constants 1 and 2. | letouzey | 2010-10-14 |
| * | Numbers: new functions pow, even, odd + many reorganisations | letouzey | 2010-10-14 |
| * | Updated all headers for 8.3 and trunk |  herbelin | 2010-07-24 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | More improvements of BigN, BigZ, BigQ: | letouzey | 2010-01-18 |
| * | BigN, BigZ, BigQ: presentation via unique module with both ops and props | letouzey | 2010-01-17 |
| * | Numbers: two more Local Obligation Tactic | letouzey | 2010-01-12 |
| * | Numbers: BigN and BigZ get instantiations of all properties about div and mod | letouzey | 2010-01-08 |
| * | Numbers: axiomatization + generic properties of abs and sgn. | letouzey | 2010-01-08 |
| * | Numbers: separation of funs, notations, axioms. Notations via module, without... | letouzey | 2010-01-07 |
| * | 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 |
| * | 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 |
| * | 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
herbelin
msozeau
glondu