Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-03-09 18:28:08 -0800 (Wed, 09 Mar 2005)
Revision: 6875
Log message:

      1. Fixed a bug noted by Xin
      2. Some documentation
      3. Rewrote reflection_example using synt_language`
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_closure.ml
+4 -96	metaprl/theories/itt/itt_reflection_example_lambda.ml
+13 -1	metaprl/theories/itt/itt_synt_language.ml
+1 -0	metaprl/theories/itt/itt_synt_language.mli