| Age | Commit message (Expand) | Author |
|---|
| 2006-06-06 | + ameliorating the tactic "functional induction" | jforest |
| 2006-06-05 | Require FSets ne doit pas charger FSetToFiniteSet (qui utilise l'axiome d'ext... | letouzey |
| 2006-06-04 | Remplacement 'singleton' par 'unique' as a simple way to avoid a conflict wit... | herbelin |
| 2006-06-04 | Ajout exists! et restructuration/extension des fichiers sur la | herbelin |
| 2006-06-04 | Ajout exists! et restructuration/extension des fichiers sur la | herbelin |
| 2006-05-31 | ajout de QArith dans les theories standards | letouzey |
| 2006-05-31 | petits ajouts | letouzey |
| 2006-05-31 | Replacing the old version of "functional induction" with the new one. | jforest |
| 2006-05-30 | * suite de la revision des wrappers Make | letouzey |
| 2006-05-29 | Ajout d'alias pour prodT_rect et cie qui avaient été oublkÃiés | herbelin |
| 2006-05-28 | - Déplacement des types paramétriques prod, sum, option, identity, | herbelin |
| 2006-05-24 | Suite changement précédence by de assert | herbelin |
| 2006-05-23 | Changement de précédence de l'argument du by de assert; conséquences... | herbelin |
| 2006-05-22 | un debut de propriétés concernant FMap | letouzey |
| 2006-05-22 | suite des marquages de types et opacifications de lemmes dans les wrappers Make | letouzey |
| 2006-05-22 | MAJ suite placement automatiquement de Rlist au niveau prédicatif le plus ba... | herbelin |
| 2006-05-22 | MAJ suite placement automatiquement de Rlist au niveau prédicatif le plus ba... | herbelin |
| 2006-05-20 | auto with zarith genere des sous-lemmes silencieusement, | letouzey |
| 2006-05-20 | suite tentative pour permettre l'utilisation de modules de FSets | letouzey |
| 2006-05-19 | on cache autant que possible Raw dans FSet(Weak)List.Make | letouzey |
| 2006-05-18 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8829 85f007b7-540e-04... | letouzey |
| 2006-05-17 | Typo dans List.v | notin |
| 2006-05-17 | Ajout de [count_occ] dans List.v | notin |
| 2006-05-16 | etoffage des notions de permutations (a la fois List.Permutation et Permutati... | letouzey |
| 2006-05-15 | 3*rien | letouzey |
| 2006-05-15 | ajout d'exemples de decidable types | letouzey |
| 2006-05-15 | petit ajout concernant InA | letouzey |
| 2006-05-14 | On remet plutot l'ancien nom Zgcd_is_pos au lieu de Zgcd_pos | letouzey |
| 2006-05-14 | In_dec de nouveau transparent | letouzey |
| 2006-05-14 | reparartion d'un petit oubli cassant PrecedenceGraph | letouzey |
| 2006-05-13 | typo | letouzey |
| 2006-05-13 | un Zgcd calculant dans coq | letouzey |
| 2006-05-11 | une fonction pouvant calculer le gcd en coq | letouzey |
| 2006-05-11 | quelques ajouts venant des fichiers de Evelyne C. | letouzey |
| 2006-05-11 | decidabilite de InA | letouzey |
| 2006-05-11 | Duplication du fichier FSetProperties pour les ensembles Weak. | letouzey |
| 2006-05-11 | r9089@thot: notin | 2006-05-10 14:40:51 +0200 | notin |
| 2006-05-05 | un Zgcd general gardant trace des coefs | letouzey |
| 2006-04-29 | suite de l'ajout des FSets/FMaps dans les theories standards | letouzey |
| 2006-04-29 | meilleur nommage pour PairOrderedType | letouzey |
| 2006-04-29 | qq proprietes de plus sur Ncompare | letouzey |
| 2006-04-28 | Standardisation du nom des méthodes de Evd | herbelin |
| 2006-04-28 | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin |
| 2006-04-27 | 2-3 lemmes en plus pour que les Bvectors soient effectivement utilisables | letouzey |
| 2006-04-26 | suite du pont entre Bvector et N | letouzey |
| 2006-04-25 | Un gros coup de lifting pour IntMap: | letouzey |
| 2006-04-25 | un lemme de double inclusion | letouzey |
| 2006-04-10 | New unification can solve the problem without eta-expansion, | msozeau |
| 2006-04-06 | versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes | letouzey |
| 2006-04-06 | versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes | letouzey |
