Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-16 17:20:55 -0700 (Wed, 16 Jun 1999)
Revision: 2720
Log message:
Added HashTerm and HashBTerm modules to TermHash module in order to be able to
have hash tables with terms or bterms as keys