Intuitionize soirri in iset.mm
Intuitionize soirri in iset.mm

Rearranging the propositional logic works intutionistically and
is shorter (107 characters instead of 114 in show proof/size).

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