HoTT/HoTT — pull request #336 by JasonGross (2014-03-10 11:55:22+00:00)
Title: Do exercise 6.9, add some minor lemmas about pointed types

The pointed types lemmas are in preparation for some other 6 exercises.