Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-21 01:48:24 -0700 (Mon, 21 Jun 1999)
Revision: 2737
Log message:
Now the arguments of SO variables are fully compiled and matched.
As a result, the nested SO variables in a redex are now handled correctly.
This also allowed to replace alpha_equal_match with a fuction alpha_equal_fun
that (IMHO) is easier to understand and I have more confidence that I've got
it right than I had with alpha_equal_match