Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-22 22:51:50 -0800 (Mon, 22 Dec 2003)
Revision: 5206
Log message:

      Better debug output added.
      

Changes  Path
+10 -2 metaprl/refiner/reflib/arith.ml