Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-21 17:16:15 -0800 (Mon, 21 Mar 2005)
Revision: 6993
Log message:

      Remove some useless stuff.
      

Changes  Path
+0 -7 metaprl/theories/itt/itt_reflection_example_lambda.ml