Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-21 17:41:41 -0700 (Thu, 21 Jul 2005)
Revision: 7660
Log message:

      The infrastructure for continuation in prefix unification is ready.
      Even the time of check-status is almost back to normal.
      

Changes	Path
+78 -76	metaprl-branches/jprover-rule-based-unif/refiner/reflib/jtunify.ml