Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-06-08 20:17:17 -0700 (Tue, 08 Jun 2004)
Revision: 5861
Log message:

      Fixing some proofs that were borken long ago - when I forked evaluation to
      a separate (from reduceC) resource.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_mpoly2.ml
+9527 -8246	metaprl/theories/itt/itt_mpoly2.prla