Add dfdec10 and friends to mmil.html
Add dfdec10 and friends to mmil.html

At some point we'll bring this work over from set.mm but there's no
particular hurry.

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