| Commit message (Expand) | Author | Age |
|---|
| * | Introducing MMaps, a modernized FMaps. |  Pierre Letouzey | 2015-03-04 |
| * | Adding a generalized version of fold_Equal to FMapFacts. |  Pierre Courtieu | 2014-07-31 |
| * | Avoid using a deprecated lemma in the standard library. |  Guillaume Melquiond | 2014-06-26 |
| * | Making those proofs which depend on names generated for the arguments |  Hugo Herbelin | 2014-06-01 |
| * | - Fix bug preventing apply from unfolding Fixpoints. |  Matthieu Sozeau | 2014-05-06 |
| * | Correct rebase on STM code. Thanks to E. Tassi for help on dealing with | Matthieu Sozeau | 2014-05-06 |
| * | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau | 2014-05-06 |
| * | Change Hint Resolve, Immediate to take a global reference as argument |  msozeau | 2012-10-26 |
| * | isolate instances about Permutation and PermutationA which may slow rewrite |  letouzey | 2012-07-10 |
| * | SetoidList: explicit the fact that InfA_compat won't use ltA_strorder | letouzey | 2012-05-22 |
| * | A notion of permutation for lists modulo a setoid equality | letouzey | 2012-05-02 |
| * | theories/, plugins/ and test-suite/ ported to the Arguments vernacular |  gareuselesinge | 2011-11-21 |
| * | Simplify proofs in Permutation using generalized rewriting. | msozeau | 2011-03-04 |
| * | Made notations for exists, exists! and notations of Utf8.v recursive notations |  herbelin | 2010-07-22 |
| * | Reverted 13293 commited mistakenly. Sorry for the noise. | herbelin | 2010-07-18 |
| * | Tentative de suppression de l'import automatique des hints et coercions. | herbelin | 2010-07-18 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Granting wish #2229 (InA_dec transparent) and Michael Day's coq-club | herbelin | 2010-04-10 |
| * | List + SetoidList : some cleanup around predicates Exists, Forall, Forall2, F... | letouzey | 2009-11-02 |
| * | Merge SetoidList2 into SetoidList. | letouzey | 2009-10-19 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Typo in a comment | letouzey | 2009-07-20 |
| * | Various little fixes: | msozeau | 2009-01-18 |
| * | FMaps: various updates (mostly suggested by P. Casteran) | letouzey | 2008-12-26 |
| * | FMap: fold_rec + more permissive transpose hyp + various cleanup | letouzey | 2008-12-22 |
| * | migration from Set to Type of FSet/FMap + some dependencies... | letouzey | 2008-03-04 |
| * | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | letouzey | 2007-11-06 |
| * | - Extensions of FMap(Weak)Facts: | letouzey | 2007-06-27 |
| * | 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 |
| * | 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 |
| * | petit ajout concernant InA | letouzey | 2006-05-15 |
| * | decidabilite de InA | letouzey | 2006-05-11 |
| * | Duplication du fichier FSetProperties pour les ensembles Weak. | letouzey | 2006-05-11 |
| * | versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes | letouzey | 2006-04-06 |
| * | 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 |
| * | 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 |
Pierre Letouzey
Pierre Courtieu
Guillaume Melquiond
Hugo Herbelin
Matthieu Sozeau
msozeau
letouzey
gareuselesinge
herbelin
glondu
notin