HoTT/HoTT — pull request #275 by JasonGross (2013-12-01 18:55:22+00:00)
Title: Pseudofunctors

This is on top of #269 and #274.