Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-06 13:52:43 -0700 (Mon, 06 Jul 1998)
Revision: 2308
Log message:

      Created an alternative apply_fun[_arg]_at_addr for functions that do not depend on bvars list.
      Renamed the old ones to apply_var_fun[_arg]_at_addr
      

Changes	Path
+2 -2	metaprl/refiner/refiner/refine.mlp
+4 -2	metaprl/refiner/refsig/term_addr_sig.ml
+112 -83	metaprl/refiner/term_gen/term_addr_gen.mlp