Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-17 21:47:14 -0700 (Mon, 17 May 2004)
Revision: 5788
Log message:

      Polynomial normalization works fine,
      still an order of magnitude faster than itt_mpoly.
      Time to add it to SupInf.
      

Changes	Path
+246 -3	metaprl/theories/itt/itt_mpoly2.ml
+1 -0	metaprl/theories/itt/itt_mpoly2.mli
+7778 -1422	metaprl/theories/itt/itt_mpoly2.prla