Remove fnprb and fnprOLD from iset.mm
Remove fnprb and fnprOLD from iset.mm

The current proofs do not verify in iset.mm and these theorems
are lightly used in set.mm.

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