Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-24 18:18:14 -0800 (Tue, 24 Feb 2004)
Revision: 5407
Log message:

      This commit partly solves problem the bug 159 though it could be incorrect,
      at least rewrites with sequent args do compile with this change.
      (Application does not work unfortunately).
      

Changes	Path
+4 -2	metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_parse.ml
+4 -3	metaprl-branches/sequent_args_in_rewrites/filter/filter/filter_prog.ml
+5 -5	metaprl-branches/sequent_args_in_rewrites/refiner/refiner/refine.ml
+2 -0	metaprl-branches/sequent_args_in_rewrites/refiner/refsig/refine_sig.ml