index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Numbers
/
Cyclic
/
DoubleCyclic
Commit message (
Expand
)
Author
Age
*
Cyclic: a small optimisation with nice effect on BigN.mul (thinks Benjamin)
letouzey
2011-03-30
*
Ndigits: a Pshiftl_nat used in BigN (was double_digits there)
letouzey
2011-01-04
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Here comes the commit, announced long ago, of the new tactic engine.
aspiwack
2010-04-22
*
DoubleCyclic + NMake : typeclasses, more genericity, less ML macro-generation
letouzey
2010-02-08
*
Simplification of Numbers, mainly thanks to Include
letouzey
2009-11-10
*
Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'
letouzey
2009-10-08
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Rewrite autorewrite to use a dnet indexed by the left-hand sides (or
msozeau
2009-04-14
*
CyclicAxioms: after discussion with Laurent, znz_WW and variants are
letouzey
2008-05-28
*
switch theories/Numbers from Set to Type (both the abstract and the bignum pa...
letouzey
2008-05-22
*
Minor improvement: group stuff about carry apart from stuff about zn2z
letouzey
2008-05-19
*
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