Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-17 22:14:37 -0700 (Fri, 17 Jun 2005)
Revision: 7387
Log message:

      One more function happened to do the same thing in different ways, joined it to one common function.
      

Changes	Path
+14 -0	metaprl/refiner/reflib/jtunify.ml
+1 -0	metaprl/refiner/reflib/jtunify.mli
+0 -44	metaprl/refiner/reflib/jtunify_prop.ml
+0 -14	metaprl/refiner/reflib/jtunify_q.ml