Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-02 11:31:16 -0800 (Wed, 02 Mar 2005)
Revision: 6813
Log message:

      Simplified the instance/pattern code a bit - when we already have a pattern,
      there is no need to turn patterns into instances - the code for matching two
      patters is more efficient that the code for matching a pattern and an
      instance.
      

Changes  Path
+4 -4 metaprl/refiner/rewrite/rewrite_compile_redex.ml
+3 -9 metaprl/refiner/rewrite/rewrite_util.ml
+0 -1 metaprl/refiner/rewrite/rewrite_util_sig.ml
+0 -6 metaprl/refiner/term_ds/term_subst_ds.ml