peterm
committed
on 03 Feb 03
adding new proc exists_and_equal