Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-06-06 09:08:04 -0700 (Sun, 06 Jun 2004)
Revision: 5859
Log message:

      Added a slight improvement.
      

Changes  Path
+4 -0 metaprl/theories/itt/itt_mpoly2_bench.ml