Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-22 22:49:50 -0700 (Sat, 22 May 2004)
Revision: 5811
Log message:

      Split all evaluations to a separate resource, for now it refers to
      reduceC for basic computations.
      Now it's only 9 times slower than normalizeC
      (primarily because of reduced number of wf-subgoals).
      

Changes	Path
+29 -15	metaprl/theories/itt/itt_mpoly2.ml
+3 -1	metaprl/theories/itt/itt_mpoly2_bench.ml
+1 -0	metaprl/theories/itt/itt_mpoly2_bench.mli