Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-11-01 20:13:41 -0800 (Sat, 01 Nov 2003)
Revision: 5065
Log message:

      hopefully this will fix the problem
      

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