Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-20 21:47:40 -0800 (Sat, 20 Dec 2003)
Revision: 5198
Log message:

      All proofs are complete.
      This commit completes all proofs in itt_int* except for the div/rem part
      but div/rem are not used anywhere yet.
      

Changes	Path
+959 -807	metaprl/theories/itt/itt_int_base.prla