peterm
committed
on 22 Jan 03
with help from Jeff and Lars making the util_sets_equal_p proc do the right thing