Remove sbcco3gOLD from iset.mm
Remove sbcco3gOLD from iset.mm

It is unused and replaced by sbcco3g .

Apparently it has already been removed from set.mm.

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