Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-05-03 21:28:07 -0700 (Sat, 03 May 2003)
Revision: 4555
Log message:

      Some documentation added.
      

Changes  Path
+111 -11 metaprl/theories/itt/itt_int_arith.ml
+2 -13 metaprl/theories/itt/itt_int_base.ml