aboutsummaryrefslogtreecommitdiff
path: root/theories/FSets/FMapWeakFacts.v
AgeCommit message (Expand)Author
2007-06-27- Extensions of FMap(Weak)Facts: letouzey
2007-06-26additional properties for FMap (and slight rework of SetoidList and FSetPrope...letouzey
2006-05-31petits ajoutsletouzey
2006-05-22un debut de propriétés concernant FMapletouzey