This commit was manufactured by cvs2svn to create tag 'before_hash_consing'.
Authored by: --none-- 2012-11-28
Parent: [r7668]
Child: [r7670]