aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2006-06-25nouvel algorithme pour Zgcd (plus rapide) + un Qcompareletouzey
2006-06-09Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...herbelin
2006-06-05Require FSets ne doit pas charger FSetToFiniteSet (qui utilise l'axiome d'ext...letouzey
2006-06-04Ajout exists! et restructuration/extension des fichiers sur laherbelin
2006-05-31ajout de QArith dans les theories standardsletouzey
2006-05-22un debut de propriétés concernant FMapletouzey
2006-05-18Dépendances pour List.vnotin
2006-05-16etoffage des notions de permutations (a la fois List.Permutation et Permutati...letouzey
2006-05-15ajout de theories/FSets/DecidableTypeEx.vletouzey
2006-05-15ajout d'exemples de decidable typesletouzey
2006-05-11Duplication du fichier FSetProperties pour les ensembles Weak. letouzey
2006-05-03Cleanning and factorizing code in funind. Spliting new_arg_principles into to...jforest
2006-04-29suite de l'ajout des FSets/FMaps dans les theories standardsletouzey
2006-04-26Régénération après mise à jour coqdep pour traiter Require multipleherbelin
2006-04-25Un gros coup de lifting pour IntMap: letouzey
2006-04-06versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmesletouzey
2006-03-28reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...letouzey
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 20:50:00 +0000