| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2006-04-06 | ouverture du bon scope (positive_scope) derriere le constructeur Npos de N | letouzey |
| 2006-04-05 | on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa... | letouzey |
| 2006-03-30 | Réajout de eq_rec_eq oublié lors de la modularisation de Eqdep | herbelin |
| 2006-03-29 | pour coqdoc | letouzey |
| 2006-03-28 | 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-17 | Modification des propriétés (svn:executable) | notin |
| 2006-03-17 | ajout d'un debut de proprietes pour les FSetWeak | letouzey |
| 2006-03-16 | 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-15 | 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-05 | 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-04 | Petite simplification en passant | herbelin |
| 2006-03-04 | Titres moins envahissants pour coqdoc | herbelin |
| 2006-02-27 | quelques raccourcis commodes + un f_equal plus efficace | letouzey |
| 2006-02-23 | Ajout 'exists! x:A, P (suite) | herbelin |
| 2006-02-23 | Ajout 'exists! x:A, P | herbelin |
| 2006-02-22 | Minimum pour documentation TeX de la biblio | herbelin |
| 2006-02-22 | MAJ | herbelin |
| 2006-02-12 | Bug Scope | herbelin |
| 2006-02-12 | Nettoyage Zmin.v, création Zmax.v et Zminmax.v | herbelin |
| 2006-02-12 | Nettoyage Bool: | herbelin |
| 2006-02-12 | Unification max_case et max_case2 | herbelin |
| 2006-02-12 | Unification min_case et min_case2 | herbelin |
| 2006-02-11 | Commentaires et compatibilité coqdoc | herbelin |
| 2006-02-10 | code mort | herbelin |
| 2006-02-08 | Ajout bibliothèque String de Laurent Théry | herbelin |
