Commit message (Expand) | Author | Age | |
---|---|---|---|
* | f_equiv : a clone of f_equal that handles setoid equivalences | 2011-01-04 | |
* | Numbers: some improvements in proofs | 2011-01-03 | |
* | NZSqrt: we define sqrt_up, a square root that rounds up instead of down as sqrt | 2010-11-18 | |
* | NZSqrt : since spec is complete, no need for morphism axiom sqrt_wd | 2010-11-02 | |
* | Numbers: misc improvements | 2010-11-02 | |
* | Numbers: specs about sqrt and pow of neg numbers, even in NZ | 2010-11-02 | |
* | Numbers: NZPowProp as a Module Type, some module variable renaming | 2010-11-02 | |
* | Add sqrt in Numbers | 2010-10-19 |