Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-17 18:52:42 -0800 (Wed, 17 Nov 2004)
Revision: 6273
Log message:

      Chages and comments from today's reflection meeting (I haven't yet made any
      attempts at fixing the proofs, though).
      

Changes  Path
+1 -1 metaprl/theories/itt/OMakefile
+16 -3 metaprl/theories/itt/itt_nat.ml
+1 -0 metaprl/theories/itt/itt_nat.mli
+98 -72 metaprl/theories/itt/itt_reflection.ml
+3 -3 metaprl/theories/itt/itt_reflection.mli
+1 -1 metaprl/theories/itt/itt_reflection.prla
+14 -13 metaprl/theories/itt/itt_reflection_example_lambda.ml