Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-21 18:53:36 -0800 (Sun, 21 Dec 2003)
Revision: 5201
Log message:

      This update fixes incorrect behaviour of arithT brought up by removal of distributivity from reduce-resources. This in particular fixes problem with itt_nat/int_div_rem.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_int_arith.ml