Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-25 05:35:40 -0700 (Wed, 25 May 2005)
Revision: 7328
Log message:
Updated the "sequentialization of rewrtites" hack so that when it creates
"H >- t1 ~ t2" out of "t1 <--> t2" it would also add "H" to the context
bindings lists of all the variables in t1 and t2.