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

      Fixing the damage caused be reducing reduce-resource (now some things should be told explicitely)
      

Changes	Path
+5 -2	metaprl/theories/itt/itt_int_arith.ml