introduced macro for uniq
renamed the uniqueness principles of products, unit and named the uniqueness principle of dependent pair types
introduced macro for uniq
renamed the uniqueness principles of products, unit and named the uniqueness principle of dependent pair types
Merge branch 'uniqueness' of https://github.com/EgbertRijke/book into uniqueness
included \uniq in list of symbols
fixed exercise solutions
another fix for exercise_solutions.tex, I haven't checked whether it works because I get the message that I'm missing a file when compiling it
Include new updates

Merge https://github.com/HoTT/book into uniqueness
remove name for uniqueness principle of dependent pair types
Merge branch 'uniqueness' of https://github.com/EgbertRijke/book into uniqueness
also removed uniqueness for dependent pair types from symbol list
Merge pull request #726 from EgbertRijke/uniqueness

Uniqueness