Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-30 16:28:27 -0800 (Thu, 30 Oct 2003)
Revision: 5057
Log message:

      Added support for   DEFINE name = expr IN expr   "local" macros.
      
      Also made sure local macros and macro params are expanded in "try .. with .."
      expressions.
      

Changes	Path
+3 -3	metaprl-branches/ocaml_3_07/refiner/refiner/refine.ml
+6 -6	metaprl-branches/ocaml_3_07/refiner/term_ds/term_base_ds.ml
+9 -9	metaprl-branches/ocaml_3_07/refiner/term_ds/term_subst_ds.ml
+6 -6	metaprl-branches/ocaml_3_07/refiner/term_std/term_subst_std.ml
+13 -1	metaprl-branches/ocaml_3_07/util/pa_macro.ml