Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-16 13:21:52 -0700 (Sat, 16 Oct 1999)
Revision: 2817
Log message:
Changed alpha_equal_* in Term_ds and Term_std to be consistent with Nuprl:
Now bound terms x,x.'x and y,x.'x are considered alpha equal while
x,x.'x and x,y.'x are not.