aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2006-03-17ajout d'un debut de proprietes pour les FSetWeakletouzey
2006-03-15Ajout de theories/FSets contenant la partie "light" de FSets et FMap:letouzey
2006-03-05Modularisation des preuves concernant la logique classique, l'indiscernabilit...herbelin
2006-02-22majcoq
2006-02-12Zmax et Zminmaxherbelin
2006-02-09majcoq
2006-02-08majcoq
2005-11-18majcoq
2005-11-07majcoq
2005-08-17new congruencecorbinea
2005-07-15reflexive tautocorbinea
2005-02-21majcoq
2005-02-03Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursherbelin
2004-12-05MAJherbelin
2004-09-08majfilliatr
2004-08-26majfilliatr
2004-03-04majfilliatr
2004-01-15majfilliatr
2004-01-13MAJherbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...herbelin
2003-11-29MAJherbelin
2003-11-27majfilliatr
2003-11-24majfilliatr
2003-11-22majfilliatr
2003-11-20majfilliatr
2003-11-19ajout de Znumtheory.v dans ZArithletouzey
2003-11-14MAJherbelin
2003-11-13MAJherbelin
2003-11-13majfilliatr
2003-11-12MAJherbelin
2003-11-08majfilliatr
2003-11-06majfilliatr
2003-11-05MAJherbelin
2003-11-02MAJherbelin
2003-10-29*** empty log message ***herbelin
2003-10-29majfilliatr
2003-10-28Nouveaux fichiers dans Logicherbelin
2003-10-22MAJherbelin
2003-10-21MAJherbelin
2003-10-10majfilliatr
2003-10-10Renommage en v8 de PolyList en List et List en MonoListherbelin
2003-10-04majfilliatr
2003-09-23Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...herbelin
2003-09-23majfilliatr
2003-09-12Suppression DatatypesSyntax et PeanoSyntax qui était videsherbelin
2003-07-09majfilliatr
2003-06-25majfilliatr
2003-06-14dependcoq integre les fichiers de fsetsletouzey
2003-06-14majfilliatr
2003-06-13FSets, mais pas compile' par make worldfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 15:16:15 +0000