Add resasplit and others to mmil.html
Add resasplit and others to mmil.html

This is just moving information from the git logs to the missing
theorems list.

The theorems added are: resasplit , fresaun , fresaunres2 , fresaunres1 ,
fint , and foconst

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