Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-21 21:44:50 -0800 (Fri, 21 Mar 2003)
Revision: 4212
Log message:
- Be even more strict about the variable name clashes (now that hypSubstT
in Itt_record.recordEliminationL will not be allowed).
- I reordered the args in StringSet.remove to be able to use fold_left
instead of fold_right.