Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-07 17:06:50 -0800 (Mon, 07 Mar 2005)
Revision: 6858
Log message:

      some fixes.
      

Changes	Path
+4 -2	metaprl/theories/itt/itt_reflection_example_lambda.ml
+415 -346	metaprl/theories/itt/itt_reflection_example_lambda.prla
+0 -7	metaprl/theories/itt/itt_reflection_new.ml
+13 -4	metaprl/theories/itt/itt_synt_bterm.ml
+1894 -1743	metaprl/theories/itt/itt_synt_bterm.prla