Change the induction principle of V
fix an ambiguous sentence
rephrase Remark 1.5.1 without counting, close #720
Merge pull request #721 from mikeshulman/remark1.5.1

rephrase Remark 1.5.1 without counting, close #720
Merge pull request #712 from jledent/master

Change the induction principle of V
introduced macro for uniq
changed rule name macros
renamed the uniqueness principles of products, unit and named the uniqueness principle of dependent pair types
fixed the errata
another fix for errata
Merge pull request #725 from EgbertRijke/rulenames

changed rule name macros
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
IoI is transport
better wording for ioi is transport
Merge pull request #641 from mikeshulman/ioi-is-transport

IoI is transport