| Commit message (Expand) | Author | Age |
* | Backtrack sur la mise à disposition en standard de la notation [ x ; ... ; y ] | herbelin | 2008-05-09 |
* | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey | 2008-05-07 |
* | Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la | herbelin | 2008-04-29 |
* | Backtrack on using metas eagerly in auto, only done in "new auto" for | msozeau | 2008-04-28 |
* | - Fix bug in unification not taking into account the right meta | msozeau | 2008-04-27 |
* | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau | 2008-04-08 |
* | Correction du bug #1819 | notin | 2008-04-01 |
* | migration from Set to Type of FSet/FMap + some dependencies... | letouzey | 2008-03-04 |
* | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
* | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | letouzey | 2007-11-06 |
* | two additionnal results on list append (coming from theories/ints/List/ListAu... | letouzey | 2007-11-01 |
* | Added ForAll_Str_nth_tl | roconnor | 2007-07-11 |
* | - Extensions of FMap(Weak)Facts: | letouzey | 2007-06-27 |
* | Added zwqipWith. | roconnor | 2007-06-26 |
* | additional properties for FMap (and slight rework of SetoidList and FSetPrope... | letouzey | 2007-06-26 |
* | oups: one file forgotten in my previous commit | letouzey | 2007-06-14 |
* | some more properties of fold and elements in FSetProperties | letouzey | 2007-06-08 |
* | Correction du bug #1510 | notin | 2007-04-17 |
* | Correction bug #1499 | notin | 2007-04-13 |
* | Changement dans le kernel : | bgregoir | 2006-12-11 |
* | Déplacement des propriétés générales de BinList dans List et des tactiqu... | herbelin | 2006-10-26 |
* | Indentation + typo | notin | 2006-09-01 |
* | Argument Scope de list déplacé dans List.v | herbelin | 2006-07-09 |
* | Quelques Hint inutiles | herbelin | 2006-07-06 |
* | - Déplacement des types paramétriques prod, sum, option, identity, | herbelin | 2006-05-28 |
* | Changement de précédence de l'argument du by de assert; conséquences... | herbelin | 2006-05-23 |
* | un debut de propriétés concernant FMap | letouzey | 2006-05-22 |
* | Typo dans List.v | notin | 2006-05-17 |
* | Ajout de [count_occ] dans List.v | notin | 2006-05-17 |
* | etoffage des notions de permutations (a la fois List.Permutation et Permutati... | letouzey | 2006-05-16 |
* | petit ajout concernant InA | letouzey | 2006-05-15 |
* | In_dec de nouveau transparent | letouzey | 2006-05-14 |
* | 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 |
* | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin | 2006-04-28 |
* | 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 |
* | Modification des propriétés (svn:executable) | notin | 2006-03-17 |
* | 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 |
* | Ajout de theories/FSets contenant la partie "light" de FSets et FMap: | letouzey | 2006-03-15 |
* | MAJ | herbelin | 2006-02-22 |
* | changement parametres inductifs dans les theories | mohring | 2005-11-30 |
* | MAJ PolyList -> List | herbelin | 2005-03-16 |
* | In_dec transparent (wish #902) | herbelin | 2004-12-19 |