HoTT/book — pull request #632 by JasonGross (2014-02-13 21:23:55+00:00)
Title: Add labels to all exercises without them.

This way, we can hook them up with the HoTT repository. Labels were
sometimes made by keyword-pulling, when I couldn't immediately think
of a good name for the exercise. I don't care much what the labels
are, but I would like all the exercises to have labels. (Preferably sooner rather than later.)

Sorry about the space removal; my emacs does that automatically because I ask. If it's important, I can make a version of this pull request that doesn't remove trailing spaces.