Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-27 14:06:40 -0700 (Mon, 27 Jun 2005)
Revision: 7439
Log message:

      made position ordering as close to their string representation ordering as possible,
      unfortunately 1 and 14 have different order as integers vs as strings and for some reason
      it makes differences for J-prover.
      There is probably some unaccounted string comparison which makes it improtant,
      though I didn't find it.
      

Changes	Path
+11 -0	metaprl/refiner/reflib/jall.ml
+34 -20	metaprl/refiner/reflib/jordering.ml