Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-04 19:23:11 -0800 (Tue, 04 Nov 2003)
Revision: 5072
Log message:
Fixing bug 104:
It used to be the case that we could rely on sequent bindings not clashing
with any other bindings. However, once we allow nested sequents this assumption
can no longer be enforced. I've added a explode_sequent_and_rename function
(in TermMan module) that would rename all the sequent bindings as needed
to avoid clashes.