| Age | Commit message (Expand) | Author |
|---|
| 2009-09-17 | Remove useless MonoList.v | glondu |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-08-19 | adds a property on map | bertot |
| 2009-08-19 | adds lemmas on interactions between existsb, forallb, and app | bertot |
| 2009-08-04 | - Add more precise error localisation when one of the application fails | herbelin |
| 2009-07-24 | List: add a iff-based lemma about In and ++ | letouzey |
| 2009-07-20 | Typo in a comment | letouzey |
| 2009-06-06 | Very-small-step policy changes to the library. | herbelin |
| 2009-03-18 | fixed ring/field warning about hyp cleaning up | barras |
| 2009-03-17 | - gros commit sur ring et field: passage des arguments simplifie | barras |
| 2009-01-18 | Various little fixes: | msozeau |
| 2008-12-26 | FMaps: various updates (mostly suggested by P. Casteran) | letouzey |
| 2008-12-22 | FMap: fold_rec + more permissive transpose hyp + various cleanup | letouzey |
| 2008-08-06 | Add lemmas on lists: nth_default_eq, map_nth_error | glondu |
| 2008-05-27 | Cyclic31: migrate auxiliary lemmas to their legitimate files | letouzey |
| 2008-05-09 | Backtrack sur la mise à disposition en standard de la notation [ x ; ... ; y ] | herbelin |
| 2008-05-07 | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey |
| 2008-04-29 | Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la | herbelin |
| 2008-04-28 | Backtrack on using metas eagerly in auto, only done in "new auto" for | msozeau |
| 2008-04-27 | - Fix bug in unification not taking into account the right meta | msozeau |
| 2008-04-08 | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau |
| 2008-04-01 | Correction du bug #1819 | notin |
| 2008-03-04 | migration from Set to Type of FSet/FMap + some dependencies... | letouzey |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-11-06 | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | letouzey |
| 2007-11-01 | two additionnal results on list append (coming from theories/ints/List/ListAu... | letouzey |
| 2007-07-11 | Added ForAll_Str_nth_tl | roconnor |
| 2007-06-27 | - Extensions of FMap(Weak)Facts: | letouzey |
| 2007-06-26 | Added zwqipWith. | roconnor |
| 2007-06-26 | additional properties for FMap (and slight rework of SetoidList and FSetPrope... | letouzey |
| 2007-06-14 | oups: one file forgotten in my previous commit | letouzey |
| 2007-06-08 | some more properties of fold and elements in FSetProperties | letouzey |
| 2007-04-17 | Correction du bug #1510 | notin |
| 2007-04-13 | Correction bug #1499 | notin |
| 2006-12-11 | Changement dans le kernel : | bgregoir |
| 2006-10-26 | Déplacement des propriétés générales de BinList dans List et des tactiqu... | herbelin |
| 2006-09-01 | Indentation + typo | notin |
| 2006-07-09 | Argument Scope de list déplacé dans List.v | herbelin |
| 2006-07-06 | Quelques Hint inutiles | herbelin |
| 2006-05-28 | - Déplacement des types paramétriques prod, sum, option, identity, | 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-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 | petit ajout concernant InA | letouzey |
| 2006-05-14 | In_dec de nouveau transparent | 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 |
