Commit message (Expand) | Author | Age | |
---|---|---|---|
* | versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes | 2006-04-06 | |
* | reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere... | 2006-03-28 | |
* | ajout d'un debut de proprietes pour les FSetWeak | 2006-03-17 | |
* | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: | 2006-03-15 | |
* | Modularisation des preuves concernant la logique classique, l'indiscernabilit... | 2006-03-05 | |
* | maj | 2006-02-22 | |
* | Zmax et Zminmax | 2006-02-12 | |
* | maj | 2006-02-09 | |
* | maj | 2006-02-08 | |
* | maj | 2005-11-18 | |
* | maj | 2005-11-07 | |
* | new congruence | 2005-08-17 | |
* | reflexive tauto | 2005-07-15 | |
* | maj | 2005-02-21 | |
* | Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs | 2005-02-03 | |
* | MAJ | 2004-12-05 | |
* | maj | 2004-09-08 | |
* | maj | 2004-08-26 | |
* | maj | 2004-03-04 | |
* | maj | 2004-01-15 | |
* | MAJ | 2004-01-13 | |
* | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... | 2003-11-29 | |
* | MAJ | 2003-11-29 | |
* | maj | 2003-11-27 | |
* | maj | 2003-11-24 | |
* | maj | 2003-11-22 | |
* | maj | 2003-11-20 | |
* | ajout de Znumtheory.v dans ZArith | 2003-11-19 | |
* | MAJ | 2003-11-14 | |
* | MAJ | 2003-11-13 | |
* | maj | 2003-11-13 | |
* | MAJ | 2003-11-12 | |
* | maj | 2003-11-08 | |
* | maj | 2003-11-06 | |
* | MAJ | 2003-11-05 | |
* | MAJ | 2003-11-02 | |
* | *** empty log message *** | 2003-10-29 | |
* | maj | 2003-10-29 | |
* | Nouveaux fichiers dans Logic | 2003-10-28 | |
* | MAJ | 2003-10-22 | |
* | MAJ | 2003-10-21 | |
* | maj | 2003-10-10 | |
* | Renommage en v8 de PolyList en List et List en MonoList | 2003-10-10 | |
* | maj | 2003-10-04 | |
* | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | 2003-09-23 | |
* | maj | 2003-09-23 | |
* | Suppression DatatypesSyntax et PeanoSyntax qui était vides | 2003-09-12 | |
* | maj | 2003-07-09 | |
* | maj | 2003-06-25 | |
* | dependcoq integre les fichiers de fsets | 2003-06-14 |