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

      All proofs except for the div/rem part are finished.
      

Changes	Path
+6 -2	metaprl/theories/itt/itt_int_ext.ml
+1307 -866	metaprl/theories/itt/itt_int_ext.prla