Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-10 18:41:06 -0800 (Tue, 10 Feb 2004)
Revision: 5359
Log message:

      Removed old interface.
      

Changes	Path
+5 -72	metaprl/refiner/reflib/arith.ml
+0 -8	metaprl/refiner/reflib/arith.mli