aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Cyclic/DoubleCyclic
AgeCommit message (Expand)Author
2010-02-08DoubleCyclic + NMake : typeclasses, more genericity, less ML macro-generationletouzey
2009-11-10Simplification of Numbers, mainly thanks to Includeletouzey
2009-10-08Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'letouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-14Rewrite autorewrite to use a dnet indexed by the left-hand sides (ormsozeau
2008-05-28CyclicAxioms: after discussion with Laurent, znz_WW and variants areletouzey
2008-05-22switch theories/Numbers from Set to Type (both the abstract and the bignum pa...letouzey
2008-05-19Minor improvement: group stuff about carry apart from stuff about zn2zletouzey
2008-05-16Filename ZnZ (or Z_nZ in a later attempt) is neither pretty nor accurateletouzey
2008-05-16BigNum: more reorganization, mainly moves GenXYZ to DoubleXYZletouzey
2008-05-16More BigNum cleanup: letouzey
2008-05-15Coq headers + $ in theories/Numbers filesletouzey
2008-05-07Integration of theories/Ints into theories/Numbers, part 1: moving filesletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 14:40:17 +0000