Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-08 03:26:17 -0800 (Mon, 08 Mar 2004)
Revision: 5433
Log message:
Allow repeating contexts in redeces (bug 165).
This is a partial fix (does not allow for full alpha-renaming when comparing
two context instances) and is not much tested.