Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-26 15:15:22 -0700 (Sun, 26 Jun 2005)
Revision: 7416
Log message:

      Introduced a more unform naming convention for string representation of positions.
      Removed the (hopefully) last place where strings are combined to produce another position.
      

Changes  Path
+8 -3 metaprl/refiner/reflib/jall.ml
+119 -134 metaprl/refiner/reflib/jordering.ml
+9 -7 metaprl/refiner/reflib/jtunify.ml
+2 -3 metaprl/refiner/reflib/jtypes.ml
+1 -1 metaprl/theories/itt/itt_logic.ml