Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-03-01 10:31:00 -0800 (Tue, 01 Mar 2005)
Revision: 6789
Log message:

      Fixed theorems in the lambda example. Now, I belive, all theorems there should be provable. I'll try to prove them
      

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