Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-04-04 17:39:22 -0700 (Mon, 04 Apr 2005)
Revision: 7123
Log message:

      Changed the way to interpreting op_bdepth and variablesin Itt_reflection_new.
      

Changes	Path
+116 -121	metaprl/theories/itt/itt_reflection_example_lambda.prla
+6 -12	metaprl/theories/itt/itt_reflection_new.ml
+272 -307	metaprl/theories/itt/itt_reflection_new.prla