Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-13 08:21:46 -0700 (Sun, 13 Jun 1999)
Revision: 2707
Log message:
- Documented the behaviour of several functions when variable lists
have repeated entries.
In particular: <<x,x.'x>> is understood as <<x,y.'x>> by alpha_equality.
- Made sure that this behaviour of Term_ds and Term_std is consistent
with the documentation.
- Documented a bug in alpha_equal_match