HoTT/HoTT — pull request #489 by JasonGross (2014-09-11 15:50:52+00:00)
Title: Make freudenthal suspension theorem compile

This is an alternative to #486.