HoTT/HoTT — pull request #367 by JasonGross (2014-04-16 19:33:18+00:00)
Title: Move some things out of Misc, add hProp lemmas

We now have better support for paths of hProps