HoTT/HoTT — pull request #647 by mikeshulman (2014-12-17 20:09:46+00:00)
Title: Hashcons fix

On top of #646.