Add nn0suc to mmil.html
Add nn0suc to mmil.html

This for the Theorem Sampler. nn0suc is a more powerful version
of nndc although I guess nndc looks more excluded-middle-ish so
they are each interesting in their own way.

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