aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/Zorder.v
Commit message (Expand)AuthorAge
* Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...Gravatar letouzey2007-11-06
* Bug nommage Zgt_trans_succGravatar herbelin2006-12-12
* simplif de la partie ML de ring/fieldGravatar barras2006-10-27
* Mise en forme des theoriesGravatar notin2006-10-17
* Lemme de passage de l'autre côté d'une égalitéGravatar herbelin2005-05-02
* Missing translating a 'O' into a '0' (again - cf bug #947); removed useless h...Gravatar herbelin2005-03-29
* Missing translating a 'O' into a '0'Gravatar herbelin2005-03-24
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Deplacement ZERO_le_inj dans ZorderGravatar herbelin2003-11-18
* Ajout lemmes; independance vis a vis noms variables liees; restructurationGravatar herbelin2003-11-12
* Ajout quelques lemmes; noms des variables lieesGravatar herbelin2003-11-09
* Des oublisGravatar herbelin2003-11-06
* Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de...Gravatar herbelin2003-11-05