HoTT/HoTT — pull request #443 by JasonGross (2014-08-28 20:44:06+00:00)
Title: More replacement of [projT] with [pr]

The instances of [proj1_sig] in Category/Sigma are intentional and semantically meaningful (they are about subsets/sigT with an hProp). This builds on #437.