Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-05-04 01:49:54 -0700 (Fri, 04 May 2001)
Revision: 3208
Log message:

      Core of Arith - search positive cycle in labelled graph.
      It also contains bridge from meta-prl sequents to graphs.
      Probably it should be splitted into piece for mllib and
      sequent-dependent part.
      

Changes	Path
Added	metaprl/refiner/reflib/arith.ml
Properties	metaprl/refiner/reflib/arith.ml
Added	metaprl/refiner/reflib/arith.mli
Properties	metaprl/refiner/reflib/arith.mli