Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-06-06 20:48:24 -0700 (Sun, 06 Jun 2004)
Revision: 5860
Log message:

      more optimization (treatment of wf-subgoals is optimal now,
      itt_mpoly2_bench is 5 times slower than itt_int_arith)
      

Changes	Path
+13 -0	metaprl/theories/itt/itt_mpoly2.ml
+10 -0	metaprl/theories/itt/itt_mpoly2.mli
+11 -1	metaprl/theories/itt/itt_mpoly2_bench.ml