Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-27 15:44:36 -0700 (Mon, 27 Jun 2005)
Revision: 7441
Log message:

      replaced (atom.aprefix : string list) with (atom.aposprefix : position list)
      renamed polarity O|I to Zero|One for better readability
      

Changes	Path
+102 -89	metaprl/refiner/reflib/jall.ml
+1 -2	metaprl/refiner/reflib/jtypes.ml