Commit message (Expand) | Author | Age | |
---|---|---|---|
* | migration from Set to Type of FSet/FMap + some dependencies... | 2008-03-04 | |
* | Some suggestions about FMap by P. Casteran: | 2008-02-28 | |
* | cardinal is promoted to the rank of primitive member of the FMap interface | 2008-02-28 | |
* | Revision of the FSetWeak Interface, so that it becomes a precise | 2007-10-29 | |
* | As suggested by Pierre Casteran, fold for FSets/FMaps now takes a | 2007-05-27 | |
* | fix for bug #1347 (no more Scope pollution by FSets) | 2007-05-25 | |
* | PositiveOrderedTypeBits is now formulated to be a UsualOrderedType, not only ... | 2007-03-26 | |
* | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | 2006-09-26 | |
* | incomplete and temporary fix for PR#1222: revert accepts up to 10 args | 2006-09-21 | |
* | suite de l'ajout des FSets/FMaps dans les theories standards | 2006-04-29 |