Intuitionize csbopabg in iset.mm
Intuitionize csbopabg in iset.mm

Remove csbopab because it relies on case elimination. Remove
csbopabgOLD because we have it as csbopabg .

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