Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-12-10 18:17:46 -0800 (Tue, 10 Dec 2002)
Revision: 3952
Log message:

      cases, when reduceC actually increases the size of the term, are removed from reduce resource.
      

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