HoTT/HoTT — pull request #294 by JasonGross (2013-12-22 16:08:46+00:00)
Title: Deopacify a bit in Functor/Pointwise/Properties

This is necessary to construct pointwise adjunctions. Since this is a small change that doesn't touch the core library, I'm going to push it directly.