| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Minimum pour documentation TeX de la biblio | herbelin | 2006-02-22 |
| * | MAJ | herbelin | 2006-02-22 |
| * | 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-12 |
| * | Commentaires et compatibilité coqdoc | herbelin | 2006-02-11 |
| * | code mort | herbelin | 2006-02-10 |
| * | Ajout bibliothèque String de Laurent Théry | herbelin | 2006-02-08 |
| * | Application des remarques de Pierre Casteran (A:Type plutôt que A:Set) et Ru... | herbelin | 2006-02-06 |
| * | Ajout décidabilité | herbelin | 2006-01-31 |
| * | Application de la suggestion de Nicolas Magaud (#1060) | herbelin | 2006-01-22 |
| * | Backtrack commit précédent: la préservation de l'énoncé exact Acc_ind es... | herbelin | 2006-01-21 |
| * | Préservation énoncé exact Acc_ind par choix nom 'a' comme paramètre de Acc | herbelin | 2006-01-21 |
| * | Correction associativité de IF et exists (visible à l'affichage uniquement ... | herbelin | 2006-01-19 |
| * | Application du souhait de transparence de well_founded_ltof (#1007) | herbelin | 2005-12-30 |
| * | Contrepartie de la suppression des boites automatiques dans format | herbelin | 2005-12-22 |
| * | changement parametres inductifs dans les theories |  mohring | 2005-11-30 |
msozeau
letouzey
herbelin
notin
mohring