HoTT/HoTT — pull request #445 by marcbezem (2014-08-30 07:31:42+00:00)
Title: Solution to Exercise 3.1 and two preparing lemmas added.

In addition, by running etc/Book.py, a lot of labels for new exercises will be pulled in. Obviously, a lot of new exercises have been added to the book since the last change of HoTTBookExercises.v. Good!