Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-22 08:29:26 -0800 (Sat, 22 Mar 2003)
Revision: 4213
Log message:

      Prove of int_div_rem is 80% complete.
      Only some local problems with my normalizeC/arithT remain.
      

Changes	Path
+5703 -4288	metaprl/theories/itt/itt_nat.prla