Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-19 10:19:25 -0700 (Thu, 19 May 2005)
Revision: 7301
Log message:

      Non-sequent contexts (issue 384) - fully implemented the "simple" case
      (non-sequent contexts with a "hole" argument, but no "extra" arguments).
      

Changes	Path
+1 -1	metaprl/filter/base/filter_magic.ml
+13 -3	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+4 -3	metaprl/refiner/rewrite/rewrite_debug.ml
+25 -14	metaprl/refiner/rewrite/rewrite_match_redex.ml
+7 -2	metaprl/refiner/rewrite/rewrite_types.ml