HoTT/HoTT — pull request #304 by JasonGross (2013-12-30 23:45:20+00:00)
Title: Add HoTTBookExercises.v to Makefile_targets.mk

This was forgotten in #303.