Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-05-29 12:01:34 -0700 (Thu, 29 May 2003)
Revision: 4628
Log message:

      Fixed a couple of typoes.
      

Changes  Path
+3 -7 metaprl/theories/itt/itt_int_arith.ml