Update mmil.html for hashmap and friends.
Update mmil.html for hashmap and friends.

Remove mapsnen and map1 as they are now in iset.mm

Remove duplicate entry for pw2f1olem , pw2f1o , pw2eng , and pw2en

Revise hashpw entry to contrast with pw2en .

Add hashmap entry.

metamath/set.mm,metamath/set.mm,metamath/set.mm