Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-17 16:57:22 -0800 (Thu, 17 Mar 2005)
Revision: 6964
Log message:

      More proofs for Itt_reflection_example_lambda.
      

Changes	Path
+6 -2	metaprl/theories/itt/itt_reflection_example_lambda.ml
+765 -505	metaprl/theories/itt/itt_reflection_example_lambda.prla
+8 -0	metaprl/theories/itt/itt_synt_lang.ml
+655 -531	metaprl/theories/itt/itt_synt_lang.prla
+6 -0	metaprl/theories/itt/itt_synt_subst.ml
+893 -812	metaprl/theories/itt/itt_synt_subst.prla