Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-10-30 20:06:32 -0800 (Thu, 30 Oct 2003)
Revision: 5059
Log message:

      After all I was looking in the wring place. The problem fixed by replacing progressT with repeatT in Itt_int_arith.sumListT. It looks like progressT behaves differently in Term_std (from Term_ds).
      

Changes	Path
+24 -9	metaprl/theories/itt/itt_int_arith.ml