Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-06 14:49:36 -0800 (Tue, 06 Jan 2004)
Revision: 5227
Log message:

      - Proved the reduce_ycomb and reduce_fix rewrites.
      - %.ppo depends on %.cmiz (imagine, for example, replacing val with topval in .mli).
      

Changes	Path
+1 -1	metaprl/OMakefile
+3 -0	metaprl/theories/itt/itt_rfun.ml
+3 -0	metaprl/theories/itt/itt_rfun.mli
+4057 -4169	metaprl/theories/itt/itt_rfun.prla