Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-17 21:19:39 -0700 (Fri, 17 Jun 2005)
Revision: 7386
Log message:

      Unified the way non-unifiability is propagated.
      It was via exceptions in quantifier unification and via return flag in propositional unification.
      Now it's via exceptions in both cases.
      

Changes	Path
+17 -29	metaprl/refiner/reflib/jtunify_prop.ml