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