Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-25 22:48:34 -0800 (Wed, 25 Feb 2004)
Revision: 5413
Log message:

      This is just code clean-up and should be a no-op:
      - I reformatted some of the code - removed unneeded parens, changed to the
      canonical indentation style, etc.
      - I simplified some of the code (mostly - common subexpression elimination,
      created a helper function for some very frequently used constructs, etc).
      

Changes	Path
+125 -261	metaprl/refiner/reflib/unify_mm.ml