HoTT/HoTT — pull request #196 by JasonGross (2013-08-25 22:21:58+00:00)
Title: Prove Admitted theorems in types.ObjectClassifier

They are not very pretty, but they are no longer admits. This is
partial work on #195.