| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | ajout d'un debut de proprietes pour les FSetWeak |  letouzey | 2006-03-17 |
| * | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: | letouzey | 2006-03-15 |
| * | Modularisation des preuves concernant la logique classique, l'indiscernabilit... |  herbelin | 2006-03-05 |
| * | maj |  coq | 2006-02-22 |
| * | Zmax et Zminmax | herbelin | 2006-02-12 |
| * | maj | coq | 2006-02-09 |
| * | maj | coq | 2006-02-08 |
| * | maj | coq | 2005-11-18 |
| * | maj | coq | 2005-11-07 |
| * | new congruence |  corbinea | 2005-08-17 |
| * | reflexive tauto | corbinea | 2005-07-15 |
| * | maj | coq | 2005-02-21 |
| * | Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs | herbelin | 2005-02-03 |
| * | MAJ | herbelin | 2004-12-05 |
| * | maj |  filliatr | 2004-09-08 |
| * | maj | filliatr | 2004-08-26 |
| * | maj | filliatr | 2004-03-04 |
| * | maj | filliatr | 2004-01-15 |
| * | MAJ | herbelin | 2004-01-13 |
| * | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... | herbelin | 2003-11-29 |
| * | MAJ | herbelin | 2003-11-29 |
| * | maj | filliatr | 2003-11-27 |
| * | maj | filliatr | 2003-11-24 |
| * | maj | filliatr | 2003-11-22 |
| * | maj | filliatr | 2003-11-20 |
| * | ajout de Znumtheory.v dans ZArith | letouzey | 2003-11-19 |
| * | MAJ | herbelin | 2003-11-14 |
| * | MAJ | herbelin | 2003-11-13 |
| * | maj | filliatr | 2003-11-13 |
| * | MAJ | herbelin | 2003-11-12 |
| * | maj | filliatr | 2003-11-08 |
| * | maj | filliatr | 2003-11-06 |
| * | MAJ | herbelin | 2003-11-05 |
| * | MAJ | herbelin | 2003-11-02 |
| * | *** empty log message *** | herbelin | 2003-10-29 |
| * | maj | filliatr | 2003-10-29 |
| * | Nouveaux fichiers dans Logic | herbelin | 2003-10-28 |
| * | MAJ | herbelin | 2003-10-22 |
| * | MAJ | herbelin | 2003-10-21 |
| * | maj | filliatr | 2003-10-10 |
| * | Renommage en v8 de PolyList en List et List en MonoList | herbelin | 2003-10-10 |
| * | maj | filliatr | 2003-10-04 |
| * | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | herbelin | 2003-09-23 |
| * | maj | filliatr | 2003-09-23 |
| * | Suppression DatatypesSyntax et PeanoSyntax qui était vides | herbelin | 2003-09-12 |
| * | maj | filliatr | 2003-07-09 |
| * | maj | filliatr | 2003-06-25 |
| * | dependcoq integre les fichiers de fsets | letouzey | 2003-06-14 |
| * | maj | filliatr | 2003-06-14 |
| * | FSets, mais pas compile' par make world | filliatr | 2003-06-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/.depend.coq