Use dfandc more places in iset.mm
Use dfandc more places in iset.mm

Replace pm4.63 with pm4.63dc and pm4.67 with pm4.67dc.

Remove pm4.54OLD because the proof of pm4.54 will be just as easy
to intuitionize.

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