add hash1snb and friends to mmil.html
add hash1snb and friends to mmil.html

This is hash1snb , euhash1 , hash1n0 , hashgt12el , hashgt12el2 .
They all are similar in that they should be provable with similar
modifications but probably not as-is.

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