aboutsummaryrefslogtreecommitdiff
path: root/theories/MMaps/MMaps.v
AgeCommit message (Expand)Author
2016-01-13MMaps: remove it from final 8.5 release, since this new library isn't mature ...Pierre Letouzey
2015-03-06MMapPositive: another implementation of MMapsPierre Letouzey
2015-03-05MMaps again : adding MMapList, an implementation by ordered listPierre Letouzey
2015-03-04Introducing MMaps, a modernized FMaps.Pierre Letouzey