HoTT/book — pull request #723 by nubok (2014-10-10 12:57:02+00:00)
Title: Fix for #722

As Egbert Rijke in bug #722 (https://github.com/HoTT/book/issues/722), uppt stands for "Uniqueness Principle of the Product Type". Added a small explanation for this.