Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-18 23:13:13 -0800 (Tue, 18 Jan 2005)
Revision: 6440
Log message:
This changes how the rewriter handles free variables in the term paramerers
(not redex) of a rewrite (or a rule). Bsically, the rwrriter is reasonably
smart to allow those variables to be captured by the allowed contexts as
appropriate and to disallow capture (by alpha-renaming, not by raising an
exception) by the context that is not free in the parameter.
P.S. This implements the algorithm outlined in
https://lists.metaprl.org/mailman/private/metaprl-research/2005-January/000174.html