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
/
DoubleDiv.v
Commit message (
Expand
)
Author
Age
*
Simpl less (so that cbn will not simpl too much)
Pierre Boutillier
2014-10-01
*
This commit adds full universe polymorphism and fast projections to Coq.
Matthieu Sozeau
2014-05-06
*
Updating headers.
herbelin
2012-08-08
*
ZArith + other : favor the use of modern names instead of compat notations
letouzey
2012-07-05
*
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
*
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
*
switch theories/Numbers from Set to Type (both the abstract and the bignum pa...
letouzey
2008-05-22
*
BigNum: more reorganization, mainly moves GenXYZ to DoubleXYZ
letouzey
2008-05-16