HoTT/HoTT — pull request #368 by JasonGross (2014-04-16 22:12:14+00:00)
Title: trunc_hProp -> isset_hProp, deduplicate it

This closes #366