index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Numbers
/
Natural
/
BigN
/
BigN.v
Commit message (
Expand
)
Author
Age
*
Numbers: BigN and BigZ get instantiations of all properties about div and mod
letouzey
2010-01-08
*
BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504)
letouzey
2009-11-12
*
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
*
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
*
Filename ZnZ (or Z_nZ in a later attempt) is neither pretty nor accurate
letouzey
2008-05-16
*
BigNum: more reorganization, mainly moves GenXYZ to DoubleXYZ
letouzey
2008-05-16
*
More BigNum cleanup:
letouzey
2008-05-16
*
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