HoTT/HoTT — pull request #153 by JasonGross (2013-07-22 23:29:22+00:00)
Title: Fix library so that it works with the newest coq

Closes #152