fix html in mmset.raw.html (remove closing paragraph tags I had introduced in previous commit)
fix html in mmset.raw.html (remove closing paragraph tags I had introduced in previous commit)

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