HoTT/HoTT — pull request #543 by marcbezem (2014-10-01 07:36:17+00:00)
Title: Lemmas 3.3.2 and 3.3.3 and Exc. 3.9

Lemmas 3.3.2 and 3.3.3 added to HProp
Backrefs added to HoTTBook
Solution to Exc.3.9 added to HoTTBookExercises