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.
      

Changes  Path
+6 -1 metaprl/theories/itt/itt_reflection_example_lambda.ml
+33 -33 metaprl/theories/itt/itt_synt_bterm.ml
+5 -2 metaprl/theories/itt/itt_synt_bterm.mli
+23 -23 metaprl/theories/itt/itt_synt_bterm.prla
+2 -2 metaprl/theories/itt/itt_synt_lang.ml