aboutsummaryrefslogtreecommitdiff
path: root/theories/ZArith/fast_integer.v
AgeCommit message (Expand)Author
2003-09-19Section et report Infix hors sectionherbelin
2003-09-19Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...herbelin
2003-09-12Bind et Delimit pour positive et Z (hors section)herbelin
2003-06-14Deplacement de le_minus de fast_integer vers Minusherbelin
2003-06-13Deplacement d'un lemme sur nat de ZArith vers Arithherbelin
2003-03-21*** empty log message ***barras
2003-03-12*** empty log message ***barras
2002-12-10Compatibilite times1 (suite)herbelin
2002-12-09Nouvelle preuve de times_convert pour nouvelle définition de timesherbelin
2002-12-07Compatibilité times1herbelin
2002-12-06Un axiome en attendant la mise a jour de la preuve de times_convertherbelin
2002-12-06Amélioration sensible de l'efficacité de la multiplicationherbelin
2002-04-17Uniformisation (Qed/Save et Implicits Arguments)herbelin
2002-02-14option -dump-glob pour coqdocfilliatr
2001-08-05Expérimentation de NewDestruct et parfois NewInductionherbelin
2001-04-19remplace Zarith par ZArithmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-13 11:52:36 +0000