Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-20 00:54:48 -0800 (Thu, 20 Mar 2003)
Revision: 4191
Log message:

      Killed some unused code.
      

Changes	Path
+0 -37	metaprl/refiner/reflib/unify_mm.ml
+1 -49	metaprl/refiner/term_std/term_subst_std.ml