Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-29 19:01:53 -0800 (Sat, 29 Mar 2003)
Revision: 4350
Log message:

      Small bugfix/optimization.
      

Changes  Path
+1 -1 metaprl/theories/itt/itt_int_arith.ml