In the last subsection of the appendix, I have introduced the propositions that
go into the statments of the hott axioms, and stated the axioms.

A bit more polishing is perhaps required, but comments are welcome.
Merge branch 'master' of github.com:HoTT/book