HoTT/HoTT — pull request #239 by JasonGross (2013-10-28 18:19:32+00:00)
Title: Prove that Full + Faithful -> FullyFaithful

This is on top of #238