Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-05 00:17:34 -0800 (Sat, 05 Mar 2005)
Revision: 6844
Log message:

      Proved some rules in Itt_reflection_example_lambda;
      Fixed a bug in Itt_reflection_new.
      

Changes	Path
+2 -0	metaprl/theories/itt/itt_int_ext.ml
+2 -0	metaprl/theories/itt/itt_int_ext.mli
+6 -0	metaprl/theories/itt/itt_reflection_example_lambda.ml
+2150 -905	metaprl/theories/itt/itt_reflection_example_lambda.prla
+8 -1	metaprl/theories/itt/itt_reflection_new.ml