aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Cyclic/DoubleCyclic
Commit message (Expand)AuthorAge
* Simplification of Numbers, mainly thanks to IncludeGravatar letouzey2009-11-10
* Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'Gravatar letouzey2009-10-08
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Rewrite autorewrite to use a dnet indexed by the left-hand sides (orGravatar msozeau2009-04-14
* CyclicAxioms: after discussion with Laurent, znz_WW and variants areGravatar letouzey2008-05-28
* switch theories/Numbers from Set to Type (both the abstract and the bignum pa...Gravatar letouzey2008-05-22
* Minor improvement: group stuff about carry apart from stuff about zn2zGravatar letouzey2008-05-19
* Filename ZnZ (or Z_nZ in a later attempt) is neither pretty nor accurateGravatar letouzey2008-05-16
* BigNum: more reorganization, mainly moves GenXYZ to DoubleXYZGravatar letouzey2008-05-16
* More BigNum cleanup: Gravatar letouzey2008-05-16
* Coq headers + $ in theories/Numbers filesGravatar letouzey2008-05-15
* Integration of theories/Ints into theories/Numbers, part 1: moving filesGravatar letouzey2008-05-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 07:36:20 +0000