aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend.coq
Commit message (Expand)AuthorAge
* ajout de theories/FSets/DecidableTypeEx.vGravatar letouzey2006-05-15
* ajout d'exemples de decidable typesGravatar letouzey2006-05-15
* Duplication du fichier FSetProperties pour les ensembles Weak. Gravatar letouzey2006-05-11
* Cleanning and factorizing code in funind. Spliting new_arg_principles into to...Gravatar jforest2006-05-03
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* Régénération après mise à jour coqdep pour traiter Require multipleGravatar herbelin2006-04-26
* Un gros coup de lifting pour IntMap: Gravatar letouzey2006-04-25
* versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmesGravatar letouzey2006-04-06
* reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...Gravatar letouzey2006-03-28
* ajout d'un debut de proprietes pour les FSetWeakGravatar letouzey2006-03-17
* Ajout de theories/FSets contenant la partie "light" de FSets et FMap:Gravatar letouzey2006-03-15
* Modularisation des preuves concernant la logique classique, l'indiscernabilit...Gravatar herbelin2006-03-05
* majGravatar coq2006-02-22
* Zmax et ZminmaxGravatar herbelin2006-02-12
* majGravatar coq2006-02-09
* majGravatar coq2006-02-08
* majGravatar coq2005-11-18
* majGravatar coq2005-11-07
* new congruenceGravatar corbinea2005-08-17
* reflexive tautoGravatar corbinea2005-07-15
* majGravatar coq2005-02-21
* Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursGravatar herbelin2005-02-03
* MAJGravatar herbelin2004-12-05
* majGravatar filliatr2004-09-08
* majGravatar filliatr2004-08-26
* majGravatar filliatr2004-03-04
* majGravatar filliatr2004-01-15
* MAJGravatar herbelin2004-01-13
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...Gravatar herbelin2003-11-29
* MAJGravatar herbelin2003-11-29
* majGravatar filliatr2003-11-27
* majGravatar filliatr2003-11-24
* majGravatar filliatr2003-11-22
* majGravatar filliatr2003-11-20
* ajout de Znumtheory.v dans ZArithGravatar letouzey2003-11-19
* MAJGravatar herbelin2003-11-14
* MAJGravatar herbelin2003-11-13
* majGravatar filliatr2003-11-13
* MAJGravatar herbelin2003-11-12
* majGravatar filliatr2003-11-08
* majGravatar filliatr2003-11-06
* MAJGravatar herbelin2003-11-05
* MAJGravatar herbelin2003-11-02
* *** empty log message ***Gravatar herbelin2003-10-29
* majGravatar filliatr2003-10-29
* Nouveaux fichiers dans LogicGravatar herbelin2003-10-28
* MAJGravatar herbelin2003-10-22
* MAJGravatar herbelin2003-10-21
* majGravatar filliatr2003-10-10
* Renommage en v8 de PolyList en List et List en MonoListGravatar herbelin2003-10-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 23:54:42 +0000