Adalloc/
Addec/
Addr/
Adist/
Fset/
Lsort/
Map/
Mapaxioms/
Mapc/
Mapcanon/
Mapcard/
Mapfold/
Mapiter/
Maplists/
Mapsubset/