Remove riotassuniOLD and riotaclb from iset.mm
Remove riotassuniOLD and riotaclb from iset.mm

Neither proof is intuitionistic and they are unused in set.mm.

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