aboutsummaryrefslogtreecommitdiff
path: root/theories/ZArith/Znumtheory.v
AgeCommit message (Expand)Author
2006-10-17Mise en forme des theoriesnotin
2006-09-26commit de field + renommagesbarras
2006-09-26mise a jour du nouveau ring et ajout du nouveau field, avant renommagesbarras
2006-06-26Ajout de Zgcd_spec (compat.)notin
2006-06-25nouvel algorithme pour Zgcd (plus rapide) + un Qcompareletouzey
2006-05-23Changement de précédence de l'argument du by de assert; conséquences...herbelin
2006-05-14On remet plutot l'ancien nom Zgcd_is_pos au lieu de Zgcd_posletouzey
2006-05-13typoletouzey
2006-05-13un Zgcd calculant dans coqletouzey
2006-05-11une fonction pouvant calculer le gcd en coqletouzey
2006-05-05un Zgcd general gardant trace des coefsletouzey
2005-05-02Finalement, préservation de la compatibilité pour Z_lt_induction et ajout p...herbelin
2005-04-26Fixed hypotheses of Z_lt_induction (see #957)herbelin
2004-07-16Nouvelle en-têteherbelin
2003-12-16Duplication temporaire des règles de syntaxe des pairesherbelin
2003-12-04Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...herbelin
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-11-29Report de lemmes de Znumtheory dans Zabs ou BinIntherbelin
2003-11-19ajout de Znumtheory.v dans ZArithletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 01:00:11 +0000