Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |