HoTT/HoTT — pull request #484 by marcbezem (2014-09-09 19:20:55+00:00)
Title: Example and Exercises added

Example 3.6.2 to HoTTBook.v
Exercises 3.2 and 3.3 to HoTTBookExercises.v