Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-16 17:01:55 -0800 (Wed, 16 Mar 2005)
Revision: 6955
Log message:
Renamed Itt_synt_bterm!is_same_op/same_op to is_same_op_of/same_op_of
in order to avoid confusion with Itt_synt_operator!is_same_op/same_op.