HoTT/HoTT — pull request #437 by mikeshulman (2014-08-27 16:32:24+00:00)
Title: Use pr1/2 rather than projT1/2

The comment in `Overture.v` at the definition of `pr1` and `pr1` suggests that we should use these instead of `projT1` and `projT2`.

There are still some remaining in `categories/Category/Sigma/` which I wasn't sure what to do with.