Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-04 08:03:38 -0700 (Wed, 04 Jun 2003)
Revision: 4644
Log message:

      Simplified the [un]zip_mimplies interface.
      

Changes	Path
+2 -2	metaprl/filter/base/filter_util.ml
+3 -5	metaprl/refiner/refiner/refine.ml
+2 -2	metaprl/refiner/refsig/term_meta_sig.ml
+7 -6	metaprl/refiner/term_gen/term_meta_gen.ml
+1 -1	metaprl/support/shell/shell_rule.ml