| Commit message (Expand) | Author | Age |
|---|
| * | In_dec de nouveau transparent |  letouzey | 2006-05-14 |
| * | reparartion d'un petit oubli cassant PrecedenceGraph | letouzey | 2006-05-14 |
| * | typo | letouzey | 2006-05-13 |
| * | un Zgcd calculant dans coq | letouzey | 2006-05-13 |
| * | 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-11 |
| * | un Zgcd general gardant trace des coefs | letouzey | 2006-05-05 |
| * | 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-29 |
| * | 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-28 |
| * | 2-3 lemmes en plus pour que les Bvectors soient effectivement utilisables | letouzey | 2006-04-27 |
| * | suite du pont entre Bvector et N | letouzey | 2006-04-26 |
| * | Un gros coup de lifting pour IntMap: | letouzey | 2006-04-25 |
| * | un lemme de double inclusion | letouzey | 2006-04-25 |
| * | New unification can solve the problem without eta-expansion, |  msozeau | 2006-04-10 |
| * | 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 | 2006-04-06 |
| * | ouverture du bon scope (positive_scope) derriere le constructeur Npos de N | letouzey | 2006-04-06 |
| * | on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa... | letouzey | 2006-04-05 |
| * | Réajout de eq_rec_eq oublié lors de la modularisation de Eqdep | herbelin | 2006-03-30 |
| * | pour coqdoc | letouzey | 2006-03-29 |
| * | Nommage explicite de certains "intro" pour préserver la compatibilité | herbelin | 2006-03-28 |
| * | reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere... | letouzey | 2006-03-28 |
| * | Modification des propriétés (svn:executable) | notin | 2006-03-17 |
| * | ajout d'un debut de proprietes pour les FSetWeak | letouzey | 2006-03-17 |
| * | deux tags $ mal formes | letouzey | 2006-03-16 |
| * | propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d... | letouzey | 2006-03-16 |
| * | utilisation de removeA dans FSetProperties | letouzey | 2006-03-16 |
| * | renommage NoRedun vers le plus joli NoDup | letouzey | 2006-03-15 |
| * | Typo | letouzey | 2006-03-15 |
| * | Typo | letouzey | 2006-03-15 |
| * | Ajout de fonctions sur les listes | notin | 2006-03-15 |
| * | Réparation de FSet (back to 8628) | notin | 2006-03-15 |
| * | encore un essai | letouzey | 2006-03-15 |
| * | reparation des $ | letouzey | 2006-03-15 |
| * | 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 |
| * | Commentaires | herbelin | 2006-03-05 |
| * | Renommage du IP classique pour éviter confusion avec IP constructif | herbelin | 2006-03-05 |
| * | Ajout étude IP généralisé, Gödel-Dummett, buveur | herbelin | 2006-03-05 |
| * | Petite simplification en passant | herbelin | 2006-03-04 |
| * | Titres moins envahissants pour coqdoc | herbelin | 2006-03-04 |
| * | quelques raccourcis commodes + un f_equal plus efficace | letouzey | 2006-02-27 |
| * | Ajout 'exists! x:A, P (suite) | herbelin | 2006-02-23 |
| * | Ajout 'exists! x:A, P | herbelin | 2006-02-23 |
letouzey
notin
herbelin
msozeau