Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-09 22:12:34 -0800 (Mon, 09 Feb 2004)
Revision: 5353
Log message:

      Moved whole normalizeC to arith_unfold resource. Though some rewrites
      results in failC (because there is no way to express ordering of term in
      patterns, sorting rewrites just fail of there is no need to swap certain terms)
      

Changes	Path
+44 -7	metaprl/theories/itt/itt_int_arith.ml