Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-23 20:34:05 -0800 (Sun, 23 Mar 2003)
Revision: 4228
Log message:

      Minor modifications of debug and error reporting code according to Aleksey's
      recommendations.
      

Changes	Path
+11 -15	metaprl/theories/itt/itt_int_arith.ml