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