Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-27 06:02:09 -0800 (Thu, 27 Mar 2003)
Revision: 4254
Log message:

      1.Some bugs are fixed in polynomial normalization.
      2.itt_nat/int_div_rem is now complete but could be shortened as soon as arithT will be tought to deal with equality in conclusion.
      3.Expanding of this prove takes noticable time on my computer - 3.8 secs, hope arithT has some potential for optimization.
      

Changes	Path
+118 -103	metaprl/theories/itt/itt_int_arith.ml
+1 -1	metaprl/theories/itt/itt_int_arith.mli
+2222 -1075	metaprl/theories/itt/itt_nat.prla