index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Numbers
/
Rational
Commit message (
Expand
)
Author
Age
*
RelationPairs: stop loading it in all Numbers, stop maximal args with fst/snd
letouzey
2009-12-18
*
Fix anomaly when using typeclass resolution with filtered hyps in evars.
msozeau
2009-12-06
*
Fix backtracking heuristic in typeclass resolution.
msozeau
2009-11-30
*
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
*
Numbers: more (syntactic) changes toward new style of type classes
letouzey
2009-11-06
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements
letouzey
2009-09-09
*
Fix bug #1899: no more strange notations for Qge and Qgt
letouzey
2008-07-04
*
QMake : alternative equivalences with Qcanon thanks to earlier irreducibility...
letouzey
2008-06-30
*
QMake: Proofs that add_norm and other ..._norm functions produce irreducible ...
letouzey
2008-06-28
*
Some work on BigQ :
letouzey
2008-06-25
*
BigQ: starting to create and use an interface QSig
letouzey
2008-06-01
*
Enhance the BigN and BigZ infrastructure:
letouzey
2008-06-01
*
switch theories/Numbers from Set to Type (both the abstract and the bignum pa...
letouzey
2008-05-22
*
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